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
|