Commit | Date | |
---|---|---|
[r11586]
by
bugman
Created the _Exit class so that the prompt GUI element exit fns behave the same as in prompt mode. |
2010-09-16 15:21:25 | Tree |
[r11585]
by
bugman
The relax prompt GUI element now overrides the exiting functions 'exit', 'q', 'quit', 'bye'. These now correspond to the relax GUI exit_gui() method. The IO streams are also restored prior to |
2010-09-16 15:11:17 | Tree |
2010-09-16 14:43:16 | Tree | |
2010-09-16 14:05:01 | Tree | |
[r11582]
by
bugman
Temporarily reverted r11578. The command used was: ..... |
2010-09-16 12:54:42 | Tree |
2010-09-16 08:56:01 | Tree | |
[r11580]
by
bugman
Created the 'View->relax prompt' menu entry with icon. This currently does nothing. |
2010-09-16 08:53:11 | Tree |
2010-09-16 08:49:29 | Tree | |
[r11578]
by
bugman
The Bieri GUI is now the default and only GUI for relax. The options -b and --bieri have been removed. The -g and --gui options require no following 'bieri' $ relax -g or: $ relax --gui |
2010-09-16 08:22:32 | Tree |
2010-09-16 08:14:35 | Tree |