diff options
| author | Matthias Benkard <mulk@minimulk.mst-plus> | 2008-08-28 12:34:00 +0200 |
|---|---|---|
| committer | Matthias Benkard <mulk@minimulk.mst-plus> | 2008-08-28 12:34:00 +0200 |
| commit | 372109e385d6de7cf29b378eb6f21edaf15be07c (patch) | |
| tree | 227fde84238fcd11fd59597ad3842b145a343fdc /StepTalkShell/GNUmakefile | |
| parent | bb6d54154bd6a33806c04b98475228450b5aa1b0 (diff) | |
Listener: Disable the “Submit” button while the interpreter is working, move status messages to the bottom left.
Diffstat (limited to 'StepTalkShell/GNUmakefile')
0 files changed, 0 insertions, 0 deletions