Mercurial > hg > octave-terminal
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 |