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).
src/eric7/QScintilla/EditorAssembly.py | file | annotate | diff | comparison | revisions |
--- a/src/eric7/QScintilla/EditorAssembly.py Fri Aug 02 14:33:12 2024 +0200 +++ b/src/eric7/QScintilla/EditorAssembly.py Fri Aug 02 14:35:21 2024 +0200 @@ -114,7 +114,7 @@ Public method to finish the setup of the assembly. """ splitterWidth = ( - self.__editorSplitter.width() - self.__editorSplitter.handleWidth() + self.parent().width() - self.__editorSplitter.handleWidth() ) outlineWidth = Preferences.getEditor("SourceOutlineWidth") self.__editorSplitter.setSizes([splitterWidth - outlineWidth, outlineWidth])