-
Michael Reisecker authored
Two small fixes for wrong 'unsaved changes' warning: compare case insensitive, and circumvent the Number panel's precision parsing if a numeric INI key is only read and never changed. Also make it more clear that INIshell is working when parsing INI files.
cbba7d2d