コード例 #1
0
ファイル: __init__.py プロジェクト: eccstartup/TikZ-Editor
	def _initSubViews(self):
		self.editor_splitter = QSplitter(self)
		self.editor_splitter.setOrientation(Qt.Vertical)
		self.editor_splitter.addWidget(self.content_view)
		self.editor_splitter.addWidget(self.feedback_view)
		self.editor_splitter.setStretchFactor(0, 2)
		self.editor_splitter.setStretchFactor(1, 1)
		if Preferences.hasEditorSplitterState():
			self.editor_splitter.restoreState(Preferences.getEditorSplitterState())

		self.main_splitter = QSplitter(self)
		self.main_splitter.setOrientation(Qt.Horizontal)
		self.main_splitter.addWidget(self.editor_splitter)
		self.main_splitter.addWidget(self.preview_view)
		if Preferences.hasMainSplitterState():
			self.main_splitter.restoreState(Preferences.getMainSplitterState())
		else:
			self.main_splitter.setSizes([self.width() / 2] * 2)

		self.setCentralWidget(self.main_splitter)
コード例 #2
0
    def _initSubViews(self):
        self.editor_splitter = QSplitter(self)
        self.editor_splitter.setOrientation(Qt.Vertical)
        self.editor_splitter.addWidget(self.content_view)
        self.editor_splitter.addWidget(self.feedback_view)
        self.editor_splitter.setStretchFactor(0, 2)
        self.editor_splitter.setStretchFactor(1, 1)
        if Preferences.hasEditorSplitterState():
            self.editor_splitter.restoreState(
                Preferences.getEditorSplitterState())

        self.main_splitter = QSplitter(self)
        self.main_splitter.setOrientation(Qt.Horizontal)
        self.main_splitter.addWidget(self.editor_splitter)
        self.main_splitter.addWidget(self.preview_view)
        if Preferences.hasMainSplitterState():
            self.main_splitter.restoreState(Preferences.getMainSplitterState())
        else:
            self.main_splitter.setSizes([self.width() / 2] * 2)

        self.setCentralWidget(self.main_splitter)