Figured bass style parameters not saved
1) Menu "Format | Style | Figured bass"
2) Alter any of the "Size", "Vertical position", "Line height" parameters
3) Press [OK]
Expected result: the changed value(s) are put into effect
Actual result: the changed value(s) are not put into effect and re-opening the dialogue box shows the values have been reverted to defaults.
Note: the "Alignment" and "Style" parameters are saved when changed
Assuming it has any relevance for such an issue, my system is Linux Mint 17.3