log gui/src/editor/FileEditorTab.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 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