ide/settings: Importing user settings even if global new settings exist
authorJerome St-Louis <jerome@ecere.com>
Thu, 4 Aug 2016 19:06:46 +0000 (15:06 -0400)
committerJerome St-Louis <jerome@ecere.com>
Thu, 4 Aug 2016 19:33:03 +0000 (15:33 -0400)
commit497b2fe565bb56f7442e9f83d0dccb23740c0fd8
tree80682cc5a21bd12710ef51d5eee9e6920dfec5bd
parentc881655e3838955fe68036b84ba473bd7d86b036
ide/settings: Importing user settings even if global new settings exist
ecere/src/sys/GlobalAppSettings.ec
ide/src/IDESettings.ec