Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-06-23 | Fix font units. On Mac OS X, QT may return 0 for certain font metrics ↵ | dos-reis | 1 | -0/+1 | |
components. | |||||
2013-04-08 | more gui cleanup | dos-reis | 1 | -3/+0 | |
2013-04-08 | misc gui cleanup | dos-reis | 1 | -1/+1 | |
2013-04-08 | (no commit message) | dos-reis | 1 | -1/+1 | |
2013-04-08 | Remove QTabWidget intermediary | dos-reis | 1 | -6/+3 | |
2013-04-07 | gui: fix parent of Debate | dos-reis | 1 | -5/+4 | |
2013-04-07 | gui: misc cleanup | dos-reis | 1 | -5/+3 | |
2013-04-06 | (no commit message) | dos-reis | 1 | -0/+1 | |
2013-04-06 | gui: tidy up | dos-reis | 1 | -1/+5 | |
2013-04-06 | gui: make FS part of the main window | dos-reis | 1 | -3/+1 | |
2011-06-27 | * utils/Makefile.in (libOpenAxiom_SOURCES): Include filesystem.cc | dos-reis | 1 | -0/+2 | |
* include/open-axiom.h (Filesystem): New. * gui/debate.cc (Debate::Debate): Initialize fs data member. * gui/debate.h (Debate): Declare it. | |||||
2011-06-03 | Enable the new GUI interface as default driver | dos-reis | 1 | -1/+2 | |
on Windows platforms with QT available. | |||||
2011-05-30 | have the gui quit if the interpreter quits | dos-reis | 1 | -0/+4 | |
2011-05-27 | more gui codes | dos-reis | 1 | -0/+4 | |
2011-05-24 | more gui codes | dos-reis | 1 | -0/+2 | |
2011-05-23 | Add new files | dos-reis | 1 | -0/+56 | |