| 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
|
| Thu, 24 May 2012 15:25:06 -0600 |
Max Brister |
Removed dead functions
|
| Thu, 24 May 2012 15:08:09 -0600 |
Max Brister |
Rewrite pt-jit.* adding new low level octave IR
|
| Wed, 23 May 2012 16:22:05 -0400 |
Jordi Gutiérrez Hermoso |
maint: Periodic merge of default to jit
|
| 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
|
| Wed, 23 May 2012 20:25:07 +0200 |
Jacob Dawid |
Editor can now handle multiple files in tabs.
gui
|
| Wed, 23 May 2012 13:36:24 -0400 |
John W. Eaton |
skip leading whitespace for scanf %i format
|
| Wed, 23 May 2012 10:50:08 +0200 |
Jacob Dawid |
Restructured source files.
gui
|
| Tue, 22 May 2012 23:34:40 +0200 |
Jacob Dawid |
Fixed bug with querying wrong matrix dimensions (bug #36421).
gui
|
| Tue, 22 May 2012 17:46:45 +0200 |
Jacob Dawid |
Copy and paste into the terminal window works now (ctrl+c, ctrl+v).
gui
|
| Tue, 22 May 2012 17:29:34 +0200 |
Jacob Dawid |
Settings readline event hook and fixed race condition.
gui
|
| Tue, 22 May 2012 13:04:24 +0200 |
Jacob Dawid |
Restructured menus, added toolbar and current directory line edit.
gui
|
| Tue, 22 May 2012 11:00:24 +0200 |
Jacob Dawid |
Discarded initFileEditor, instead put that in the constructor. Speedup for updating the symbol table by lowering complexity from n² to n. Fixed problem with hangup on quit.
gui
|
