- 29 Aug, 2020 1 commit
-
-
Michael Reisecker authored
The drag & drop behaviour of the text editor itself is kept as-is (moving text blocks with the mouse etc., and also inserting file names if dropped into the text area) because we don't want to re-implement all of this ourselves. However, we display a guidance text if a user drags files over the text area telling them where to drop them to open.
-
- 31 Mar, 2020 1 commit
-
-
Mathias Bavay authored
Moreover, the license for the lines numbering has been clarified and is now advertised in the About window
-
- 20 Mar, 2020 4 commits
-
-
Michael Reisecker authored
(old style cast, and "no out-of-line virtual method definitions")
-
Mathias Bavay authored
The fonts are now setup in the constructor. An unnecessary script has been deleted.
-
Mathias Bavay authored
-
Mathias Bavay authored
(it is licensed under BSD instead of GPL)
-