Sat, 08 Apr 2023 21:48:49 +0300 | Teemu Piippo | Made editor font configurable | changeset | files |
Sat, 08 Apr 2023 16:59:55 +0300 | Teemu Piippo | Move the about dialog to MainWindow. The hack to retrieve GL extensions is made a bit cleaner | changeset | files |