docs/eric7-plugin.odt

Fri, 02 Aug 2024 14:35:21 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 02 Aug 2024 14:35:21 +0200
branch
eric7
changeset 10880
2d2dd2c638e8
parent 10751
d4dbb6b75bdc
permissions
-rw-r--r--

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)

eric ide

mercurial