Andy Williams
|
fdd2a69333
|
[settings] Fix typo causing compile error
Fixes github issue #4
|
2015-08-29 14:16:53 +01:00 |
Andy Williams
|
e3ed8806c3
|
elm_code: add legacy API.
Refactor eo API in line with elm_obj_* elsewhere
|
2015-06-02 08:22:36 +01:00 |
Andy Williams
|
78252cefc1
|
run: Add args to settings for default run button
|
2015-05-31 19:46:18 +01:00 |
Andy Williams
|
d4670583df
|
builds: Add a run button and the launch config to support.
I expect we can support a list of these later so for now
support passing around the launch config.
|
2015-05-31 12:13:31 +01:00 |
Andy Williams
|
10dc1c77bd
|
setting: Add a font picker
Monospace only so we get a deccent looking result.
Mostly from the terminology project - thanks guys
|
2015-05-30 10:32:37 +01:00 |
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 |