Measuring compartment pressure with tonometer