log gui/src/editor/FileEditor.cpp @ 14690:ca733a66be7a gui

age author description
Fri, 25 May 2012 23:56:31 +0200 Jacob Dawid Fixed bug with not opening the editor when clicking a file from the file browser. Implemented watching the file on disk. gui
Thu, 24 May 2012 13:20:27 +0200 Jacob Dawid Integrated the editor to be docked with the other widgets. gui
Thu, 24 May 2012 12:08:53 +0200 Jacob Dawid Copy/Paste buttons get greyed out in the editor correctly again. Removed margin in editor tabs and status bar. gui
Wed, 23 May 2012 20:25:07 +0200 Jacob Dawid Editor can now handle multiple files in tabs. gui
Wed, 23 May 2012 10:50:08 +0200 Jacob Dawid Restructured source files. gui base gui/src/FileEditor.cpp@26a1620388b5