Commit Graph

11 Commits

Author SHA1 Message Date
Andy Williams fe5411b5c3 settings: Split into project and global settings
This should clarify what the user is setting.
Need to make the "headers" non-clickable but not sure how
2015-05-24 13:12:37 +01:00
Andy Williams b4224ff36c settings: Fix alignment of display settings 2015-05-24 13:12:18 +01:00
Andy Williams bd55404b42 Allow hiding of the toolbar 2015-05-18 23:17:24 +01:00
Andy Williams bf17d7c8af config: save project config in the project dir
globally storing info about projects loaded, file associations
and the general user preference.

GUI and usage settings stored in <project>/.edi folder
2015-05-16 09:59:08 +01:00
Andy Williams 0da1c9a5e3 Settings: add a background to the window 2015-05-16 09:59:08 +01:00
Andy Williams efec7c1f37 editor: add tabstop configuration
Allow setting of the tabstop. App wide for now.
2015-03-29 20:40:24 +01:00
Andy Williams f1571f296e settings: Allow configuration of line width marker 2015-03-28 00:45:20 +00:00
Andy Williams ba5a31b884 Merge branch 'master' into elm_code 2015-03-25 20:52:14 +00:00
Andy Williams 4db1c2b826 settings: Fix compile error due to wrong type name 2015-03-25 20:48:41 +00:00
Andy Williams 0509eb1841 settings: configure the display of whitespace
Refresh this when config changes
2015-03-14 13:10:38 +00:00
Andy Williams e62ddd5bc1 config: add settings screen
Add a new autosave flag, upgrade config so it's set.
Listen to a config_changed event to update UI where required.
2015-03-08 22:14:25 +01:00