260 "helpIndex", self.tr("Show the help document index")) |
260 "helpIndex", self.tr("Show the help document index")) |
261 self.__helpSearchButton = self.__addNavigationButton( |
261 self.__helpSearchButton = self.__addNavigationButton( |
262 "documentFind", self.tr("Show the help search window")) |
262 "documentFind", self.tr("Show the help search window")) |
263 self.__bookmarksButton = self.__addNavigationButton( |
263 self.__bookmarksButton = self.__addNavigationButton( |
264 "bookmark22", self.tr("Show list of bookmarks")) |
264 "bookmark22", self.tr("Show list of bookmarks")) |
265 # self.__openPagesButton.setChecked(True) |
|
266 |
265 |
267 self.__buttonLayout.addStretch() |
266 self.__buttonLayout.addStretch() |
268 |
267 |
269 self.__helpFilterWidget = self.__initFilterWidget() |
268 self.__helpFilterWidget = self.__initFilterWidget() |
270 self.__buttonLayout.addWidget(self.__helpFilterWidget) |
269 self.__buttonLayout.addWidget(self.__helpFilterWidget) |