| Tue, 28 Jun 2022 14:10:27 +0300 |
Teemu Piippo |
Disable language changing for now (translations won't go into 1.0)
|
file |
diff |
annotate
|
| Tue, 28 Jun 2022 13:03:21 +0300 |
Teemu Piippo |
Don't create more than one settings editor
|
file |
diff |
annotate
|
| Tue, 28 Jun 2022 12:29:38 +0300 |
Teemu Piippo |
Make settings editor scrollable
|
file |
diff |
annotate
|
| Tue, 28 Jun 2022 12:18:00 +0300 |
Teemu Piippo |
Make settings editor a sub window instead of a dialog
|
file |
diff |
annotate
|
| Mon, 20 Jun 2022 19:49:56 +0300 |
Teemu Piippo |
Add an option to log opengl messages
|
file |
diff |
annotate
|
| Tue, 07 Jun 2022 20:44:19 +0300 |
Teemu Piippo |
Replaced the tab widget with an MDI area
|
file |
diff |
annotate
|
| Fri, 07 Feb 2020 01:58:34 +0200 |
Teemu Piippo |
added selection highlighting
|
file |
diff |
annotate
|
| Sun, 02 Feb 2020 00:58:59 +0200 |
Teemu Piippo |
added configurable line anti-aliasing
|
file |
diff |
annotate
|
| Sun, 02 Feb 2020 00:51:06 +0200 |
Teemu Piippo |
added configurable line thickness
|
file |
diff |
annotate
|
| Sat, 01 Feb 2020 17:20:10 +0200 |
Teemu Piippo |
added configurable background color
|
file |
diff |
annotate
|
| Sat, 01 Feb 2020 17:10:11 +0200 |
Teemu Piippo |
Main color is now configurable
|
file |
diff |
annotate
|
| Fri, 08 Nov 2019 19:05:07 +0200 |
Teemu Piippo |
things
|
file |
diff |
annotate
|
| Sat, 05 Oct 2019 23:47:03 +0300 |
Teemu Piippo |
added the settings editor
|
file |
diff |
annotate
|
