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 |