log gui/src/editor/FileEditorTab.cpp @ 14680:628eeaf879f7 gui

age author description
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