Tue, 16 Jul 2024 15:14:23 +0200
Editor
- Changed the editor layout to use a splitter between editor and code layout to enhance the flexibility.
10751
d4dbb6b75bdc
Updated the formatting of the plugin document and modified the text in several places.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
10750
diff
changeset
|
1 | (binary:application/pdf) |