ninja-ide/ninja-ide — Issue #217: Editor settings change
Author: rukunas
Created: 2012-01-25 08:28:12+00:00
State: open

Under windows, in the preferences dialog box, if "save" button is pressed, then the editor settings are changed.