Fri, 02 Aug 2024 14:35:21 +0200
Changed the logic to setup the initial size of the editor outline widget. Somehow the width of the splitter did not get set correctly in certain situations (see issue 567).
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/octet-stream) |