1536 |
1536 |
1537 self.__sbZoom.valueChanged.connect(self.__zoomTo) |
1537 self.__sbZoom.valueChanged.connect(self.__zoomTo) |
1538 self.__sbZoom.setValue(0) |
1538 self.__sbZoom.setValue(0) |
1539 |
1539 |
1540 @pyqtSlot(ShellHistoryStyle) |
1540 @pyqtSlot(ShellHistoryStyle) |
1541 def __historyStyleChanged(self, historyStyle): |
1541 def __historyStyleChanged(self, _historyStyle): |
1542 """ |
1542 """ |
1543 Private slot to handle a change of the shell history style. |
1543 Private slot to handle a change of the shell history style. |
1544 |
1544 |
1545 @param historyStyle style to be used for the history |
1545 @param _historyStyle style to be used for the history (unused) |
1546 @type ShellHistoryStyle |
1546 @type ShellHistoryStyle |
1547 """ |
1547 """ |
1548 enabled = self.__shell.isHistoryEnabled() |
1548 enabled = self.__shell.isHistoryEnabled() |
1549 self.__historyMenu.setEnabled(enabled) |
1549 self.__historyMenu.setEnabled(enabled) |
1550 self.__historyToolbar.setEnabled(enabled) |
1550 self.__historyToolbar.setEnabled(enabled) |