docs/eric7-plugin.pdf@2d2dd2c638e8
docs/eric7-plugin.pdf
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).