| Sat, 11 Aug 2012 11:02:12 -0400 |
John W. Eaton |
partial cleanup of include files in gui sources
gui
|
| Mon, 30 Jul 2012 09:55:57 +0200 |
Jacob Dawid |
Modified GUI sources so they can be build inside the source tree, without installing octave first.
gui
|
| Sat, 28 Jul 2012 21:53:45 -0400 |
Jordi Gutiérrez Hermoso |
Source code formatting (80-column lines, mostly whitespace changes)
gui
|
| Mon, 02 Jul 2012 22:47:23 +0200 |
Jacob Dawid |
Second attempt to fix setting breakpoints.
gui
|
| Mon, 02 Jul 2012 15:18:55 +0200 |
Jacob Dawid |
Fixed removing all breakpoints.
gui
|
| Mon, 02 Jul 2012 12:35:08 +0200 |
Jacob Dawid |
Very basic breakpoint setting and removing in the editor works.
gui
|
| Thu, 28 Jun 2012 15:46:43 +0200 |
Jacob Dawid |
Clearing the command history works.
gui
|
| Tue, 26 Jun 2012 15:27:10 +0200 |
Jacob Dawid |
Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate.
gui
|
| Sat, 09 Jun 2012 18:51:35 +0200 |
Jacob Dawid |
Fixed controlling debugger from within the GUI.
gui
|
| Sat, 09 Jun 2012 01:10:51 +0200 |
Jacob Dawid |
Added menu for debugging. Now sending debug control events, but these seem to not work flawlessly
gui
|
| Tue, 05 Jun 2012 14:41:22 +0200 |
Jacob Dawid |
Added debug events, debug mode detection and fixed compiling error.
gui
|
| Mon, 04 Jun 2012 21:28:08 +0200 |
Jacob Dawid |
Added update events for the command history model and workspace model.
gui
|
| Mon, 04 Jun 2012 16:08:44 +0200 |
Jacob Dawid |
Extended event based communication model.
gui
|
| Mon, 04 Jun 2012 01:42:58 +0200 |
Jacob Dawid |
Added event based processing and implement exit and change directory event.
gui
|
| Sat, 02 Jun 2012 14:44:50 +0200 |
Jacob Dawid |
Solved crash on close by ignoring close event and instead executing exit in the terminal.
gui
|
