Selecting the number format in the settings is not possible, selecting it closes manager. I’m using the linux 64 bit .deb version on linux mint 18

Changing number format in settings closes Manager

knireis October 23, 2016, 11:50am 10

problem fixed

I updated mono according these instruction in another forum topic concerning linux mint 18:

Topic		Replies	Views
Number format in preferences	3	408	January 18, 2023
Manager closes prematurely	1	337	January 18, 2023
Crash when changing number format	14	1465	January 18, 2023
Unable to start after update to 17.4.9	7	802	January 18, 2023
Ubuntu Preference Number Format - Crashing	2	363	January 18, 2023