2357 |
2357 |
2358 if WebBrowserWindow._useQtHelp: |
2358 if WebBrowserWindow._useQtHelp: |
2359 filtertb = self.addToolBar(self.tr("Filter")) |
2359 filtertb = self.addToolBar(self.tr("Filter")) |
2360 filtertb.setObjectName("FilterToolBar") |
2360 filtertb.setObjectName("FilterToolBar") |
2361 self.filterCombo = QComboBox() |
2361 self.filterCombo = QComboBox() |
2362 self.filterCombo.setMinimumWidth( |
2362 try: |
2363 QFontMetrics(QFont()).width("ComboBoxWithEnoughWidth")) |
2363 comboWidth = QFontMetrics(QFont()).horizontalAdvance( |
|
2364 "ComboBoxWithEnoughWidth") |
|
2365 except AttributeError: |
|
2366 comboWidth = QFontMetrics(QFont()).width( |
|
2367 "ComboBoxWithEnoughWidth") |
|
2368 self.filterCombo.setMinimumWidth(comboWidth) |
2364 filtertb.addWidget(QLabel(self.tr("Filtered by: "))) |
2369 filtertb.addWidget(QLabel(self.tr("Filtered by: "))) |
2365 filtertb.addWidget(self.filterCombo) |
2370 filtertb.addWidget(self.filterCombo) |
2366 self.__helpEngine.setupFinished.connect(self.__setupFilterCombo) |
2371 self.__helpEngine.setupFinished.connect(self.__setupFilterCombo) |
2367 self.filterCombo.activated[str].connect( |
2372 self.filterCombo.activated[str].connect( |
2368 self.__filterQtHelpDocumentation) |
2373 self.__filterQtHelpDocumentation) |