Fixed typo in renderAll code.
Updated my plan to be a todo list.
Added support for multiple databases, with special ones called default and test. This means the app can be used online although it is slow currently.
Changed how fact lists are deleted, it was occasionally causing a segfault before.
If a proof's name is empty, it is shown in the interface as 'Proof'. Added tests for this.
Reduced margins on fact lists and added visualisation of section structure for section picker.
Text wraps properly in headers of pages and is truncated in breadcrumbs.
Scroll areas on course page scroll to top on page load.
Changed dialogs to use QDialogButtonBox which makes them behave nicer to keypresses.
Added validation to forms, so you can't add a fact with an empty name, etc... Also added tests for this.
Added basic syntax highlighting to the latex textboxes.
Fixed the latex highlighter so that it highlights backslashes and such inside mathmode.
Changed latex highlighting to do \{ and \} purple.
Separated the model class into two parts in preparation for multiple windows.
Added the ability to have multiple windows open at once and have them keep in sync with each other.