Very fine adjustment no longer working

#1

I'm finding that shift+ctrl no longer works for very fine adjustment and just gives me the 'normal fine' adjustment. I just updated to 1.0.11 (from something really old like 1.0.7) so it seems the most likely cause.
I'm on Windows 8.1, any ideas?

#2

I can confirm this. Shift and Control alone or together give the same "normal fine" adjustment, and the "very fine" adjustment is missing. I'm running Windows 10 and Axoloti 1.0.11

#3

Ok, so it seems like an actual bug rather than some isolated case due to me jumping several versions. At least I didn't bring it upon myself. ;D

#4

Confirmed, and a fix is already implemented for the next release.

#5

Phew. I can just type the numbers until then.