def __init__(self, parent=None):
QtGui.QFrame.__init__(self, parent)
self.list_widget = QtGui.QListWidget()
self.browser = Browser()
label = QtGui.QLabel(
_("The following OM Servers are configured for use."))
label.setWordWrap(True)
r_button = QtGui.QPushButton(_("Refresh"))
r_button.setToolTip(
_("Poll all configured OMServers for status and refresh the page"))
h_button = QtGui.QPushButton(_("View Source"))
h_button.setToolTip(_("view the html of shown page"))
left_frame = QtGui.QFrame()
left_layout = QtGui.QVBoxLayout(left_frame)
left_layout.setMargin(0)
left_layout.addWidget(label)
left_layout.addWidget(self.list_widget)
left_layout.addWidget(r_button)
left_layout.addWidget(h_button)
splitter = QtGui.QSplitter(self)
splitter.addWidget(left_frame)
splitter.addWidget(self.browser)
splitter.setSizes([80,320])
splitter.setObjectName("KnownServerWidgetSplitter")
layout = QtGui.QVBoxLayout(self)
layout.addWidget(splitter)
r_button.clicked.connect(self.call_refresh)
h_button.clicked.connect(self.view_html)
self.list_widget.currentRowChanged.connect(self._server_chosen)
self.browser.shortcut_clicked.connect(self.browser_shortcut_clicked)
