log

age author description
Thu, 24 May 2012 13:45:33 +0200 Jacob Dawid Allowing nested dock widgets and fixed small bug in loading a workspace. 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 22:34:37 +0200 David Bateman Allow the builtin function mkdir to create missing parent directories
Wed, 23 May 2012 16:20:29 -0400 Jordi GutiƩrrez Hermoso maint: Periodic merge of default to gui gui
Wed, 23 May 2012 21:07:57 +0200 Jacob Dawid Now only monospaced fonts are allowed for editor font. gui