tobias/editor-preview
1
0
Fork 0
Code Issues Pull Requests Projects Releases 5 Wiki Activity

Improve compatibility with other plugins

Browse Source 
Wrap a widget on the outer layer of the webview so that other plugins can continue to modify the layout.
This commit is contained in:
gugutu 2024-02-02 07:28:16 +08:00 committed by GitHub
parent 2023cea60c
commit deca35908a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/__init__.py
View File

@ -51,28 +51,27 @@ class EditorPreview(object):
) )
def _get_splitter(self, editor): def _get_splitter(self, editor):
layout = editor.outerLayout
mainR, editorR = [int(r) for r in config["splitRatio"].split(":")] mainR, editorR = [int(r) for r in config["splitRatio"].split(":")]
location = config["location"] location = config["location"]
split = QSplitter() split = QSplitter()
if location == "above": if location == "above":
split.setOrientation(Qt.Orientation.Vertical) split.setOrientation(Qt.Orientation.Vertical)
split.addWidget(editor.editor_preview) split.addWidget(editor.editor_preview)
split.addWidget(editor.web) split.addWidget(editor.wrapped_web)
sizes = [editorR, mainR] sizes = [editorR, mainR]
elif location == "below": elif location == "below":
split.setOrientation(Qt.Orientation.Vertical) split.setOrientation(Qt.Orientation.Vertical)
split.addWidget(editor.web) split.addWidget(editor.wrapped_web)
split.addWidget(editor.editor_preview) split.addWidget(editor.editor_preview)
sizes = [mainR, editorR] sizes = [mainR, editorR]
elif location == "left": elif location == "left":
split.setOrientation(Qt.Orientation.Horizontal) split.setOrientation(Qt.Orientation.Horizontal)
split.addWidget(editor.editor_preview) split.addWidget(editor.editor_preview)
split.addWidget(editor.web) split.addWidget(editor.wrapped_web)
sizes = [editorR, mainR] sizes = [editorR, mainR]
elif location == "right": elif location == "right":
split.setOrientation(Qt.Orientation.Horizontal) split.setOrientation(Qt.Orientation.Horizontal)
split.addWidget(editor.web) split.addWidget(editor.wrapped_web)
split.addWidget(editor.editor_preview) split.addWidget(editor.editor_preview)
sizes = [mainR, editorR] sizes = [mainR, editorR]
else: else:
@ -82,10 +81,20 @@ class EditorPreview(object):
return split return split
def _inject_splitter(self, editor: editor.Editor): def _inject_splitter(self, editor: editor.Editor):
layout = editor.outerLayout layout = editor.web.parentWidget().layout()
if layout is None:
layout = QVBoxLayout()
editor.web.parentWidget().setLayout(layout)
web_index = layout.indexOf(editor.web) web_index = layout.indexOf(editor.web)
layout.removeWidget(editor.web) layout.removeWidget(editor.web)
# Wrap a widget on the outer layer of the webview
# So that other plugins can continue to modify the layout
editor.wrapped_web = QWidget()
wrapLayout = QHBoxLayout()
editor.wrapped_web.setLayout(wrapLayout)
wrapLayout.addWidget(editor.web)
split = self._get_splitter(editor) split = self._get_splitter(editor)
layout.insertWidget(web_index, split) layout.insertWidget(web_index, split)