Commit Graph

16 Commits

Author SHA1 Message Date
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 64f33b0823 Update icons and about imagery 2015-05-26 23:59:16 +01:00
Andy Williams 498049cba1 add a main menu to EDI 2015-05-19 00:01:56 +01:00
Andy Williams 0c83f3a1bc list of important changes 2015-05-18 23:18:09 +01:00
Andy Williams 04ec5efa24 welcome: Fix launch crash issue on some systems 2015-03-12 00:52:41 +01:00
Andy Williams f137cc5321 editor: fix issue with closed tabs 2015-03-15 13:27:15 +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
Andy Williams ae51ea05e8 Update many missed changes of note 2015-02-14 23:14:25 +00:00
Andy Williams d90d0e3c94 Adding line numbers to the text editor.
Not the prettiest approach right now, but we've got a scrolling list of lines that stays aligned with the text scroll
2014-06-07 21:50:14 +01:00
Andy Williams a3a4f5fce6 Added basic undo support - thanks to ecrire (Tasn) for the undo_redo_do function 2014-05-15 23:25:25 +01:00
Andy Williams eb38d77af9 Added goto line feature, hook in ctrl-f for search (find...) 2014-03-15 13:12:34 +00:00
Andy Williams 3deedfeeb8 Added simple search function based on Ecrire's Find/Replace 2014-04-30 23:06:16 +01:00
Andy Williams 75d5ac790c Added edi_build command line application for headless operation 2014-04-27 18:31:08 +01:00
Andy Williams 40c206849e Simple make function invoked from a build button and displayed in a console tab next to logs 2014-04-27 16:57:47 +01:00
Andy Williams 78dc9c0932 Output of eflprj with a couple of tweaks - and EDI is born 2014-02-12 20:56:20 +00:00