def __init__(self, parent=None):
super(WebkitBasePage, self).__init__(parent)
self.parent = parent
QtNetwork.QNetworkProxyFactory.setUseSystemConfiguration(True)
QtWebKit.QWebSettings.globalSettings().setAttribute(\
QtWebKit.QWebSettings.PluginsEnabled, True)
self.view = QtWebKit.QWebView(self)
self.view.setFocus()
self.setupInspector()
self.splitter = QtGui.QSplitter(self)
self.splitter.setOrientation(QtCore.Qt.Vertical)
self.splitter.addWidget(self.view)
self.splitter.addWidget(self.webInspector)
mainlayout = QtGui.QVBoxLayout(self)
mainlayout.addWidget(self.splitter)
self.setLayout(mainlayout)
self.layout().setContentsMargins(0, 0, 0, 0)
def _setup_views(self):
""" Creates the UI widgets.
"""
self.central_splitter = QtGui.QSplitter(self,
orientation=QtCore.Qt.Vertical)
self.setCentralWidget(self.central_splitter)
# central_layout = QtGui.QVBoxLayout()
# self.central_splitter.setLayout(central_layout)
# Tree widget
self.obj_tree = ToggleColumnTreeView()
self.obj_tree.setAlternatingRowColors(True)
self.obj_tree.setSelectionBehavior(QtGui.QAbstractItemView.SelectRows)
self.obj_tree.setUniformRowHeights(True)
self.obj_tree.setAnimated(True)
self.obj_tree.add_header_context_menu()
# Stretch last column?
# It doesn't play nice when columns are hidden and then shown again.
obj_tree_header = self.obj_tree.header()
# obj_tree_header.setMovable(True)
obj_tree_header.setStretchLastSection(False)
for action in self.obj_tree.toggle_column_actions_group.actions():
self.show_cols_submenu.addAction(action)
self.central_splitter.addWidget(self.obj_tree)
# Bottom pane
bottom_pane_widget = QtGui.QWidget()
bottom_layout = QtGui.QHBoxLayout()
bottom_layout.setSpacing(0)
bottom_layout.setContentsMargins(5, 5, 5, 5) # left top right bottom
bottom_pane_widget.setLayout(bottom_layout)
self.central_splitter.addWidget(bottom_pane_widget)
group_box = QtGui.QGroupBox("Details")
bottom_layout.addWidget(group_box)
group_layout = QtGui.QHBoxLayout()
group_layout.setContentsMargins(2, 2, 2, 2) # left top right bottom
group_box.setLayout(group_layout)
# Radio buttons
radio_widget = QtGui.QWidget()
radio_layout = QtGui.QVBoxLayout()
radio_layout.setContentsMargins(0, 0, 0, 0) # left top right bottom
radio_widget.setLayout(radio_layout)
self.button_group = QtGui.QButtonGroup(self)
for button_id, attr_detail in enumerate(self._attr_details):
radio_button = QtGui.QRadioButton(attr_detail.name)
radio_layout.addWidget(radio_button)
self.button_group.addButton(radio_button, button_id)
self.button_group.buttonClicked[int].connect(
self._change_details_field)
self.button_group.button(0).setChecked(True)
radio_layout.addStretch(1)
group_layout.addWidget(radio_widget)
# Editor widget
font = QtGui.QFont()
font.setFamily('Courier')
font.setFixedPitch(True)
#font.setPointSize(14)
self.editor = QtGui.QPlainTextEdit()
self.editor.setReadOnly(True)
self.editor.setFont(font)
group_layout.addWidget(self.editor)
# Splitter parameters
self.central_splitter.setCollapsible(0, False)
self.central_splitter.setCollapsible(1, True)
self.central_splitter.setSizes([400, 200])
self.central_splitter.setStretchFactor(0, 10)
self.central_splitter.setStretchFactor(1, 0)
