docs/eric7-plugin.odt@2d2dd2c638e8
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).
(binary:application/octet-stream)