Age | Commit message (Expand) | Author |
2018-05-09 | Text_Editor key bindings hopefully fixed, yet more polishing | Jed Barber |
2017-06-17 | Updated coding style, added progress log | Jed Barber |
2017-06-12 | Keybinding methods all done for Text_Editor, with modifiers disabled due to F... | Jed Barber |
2017-06-11 | Key binding functions and procedures added to Text_Editor package | Jed Barber |
2017-06-10 | The rest of the static keybinding procedures added to Text_Editor package | Jed Barber |
2017-06-03 | More methods for Text_Editor widget | Jed Barber |
2017-05-13 | Text_Editor, Text_Display, Double_Window, Single_Window, Menu_Window, Window,... | Jed Barber |
2017-05-01 | Draw method for Text Display and derivatives, concrete Menu_ derivatives | Jed Barber |
2017-04-27 | Organising source | Jed Barber |