src/eric7/UI/SymbolsWidget.py

branch
eric7
changeset 10692
9becf9ca115c
parent 10676
d1479a4f1426
child 11090
f5f5f5803935
equal deleted inserted replaced
10691:d1a603a70f83 10692:9becf9ca115c
735 self.symbolSpinBox.setMaximum(last) 735 self.symbolSpinBox.setMaximum(last)
736 736
737 Preferences.getSettings().setValue("Symbols/CurrentTable", index) 737 Preferences.getSettings().setValue("Symbols/CurrentTable", index)
738 738
739 @pyqtSlot(QModelIndex, QModelIndex) 739 @pyqtSlot(QModelIndex, QModelIndex)
740 def __currentRowChanged(self, current, previous): 740 def __currentRowChanged(self, current, _previous):
741 """ 741 """
742 Private slot recording the currently selected row. 742 Private slot recording the currently selected row.
743 743
744 @param current current index 744 @param current current index
745 @type QModelIndex 745 @type QModelIndex
746 @param previous previous current index 746 @param _previous previous current index (unused)
747 @type QModelIndex 747 @type QModelIndex
748 """ 748 """
749 Preferences.getSettings().setValue("Symbols/Top", current.row()) 749 Preferences.getSettings().setValue("Symbols/Top", current.row())
750 self.symbolSpinBox.setValue( 750 self.symbolSpinBox.setValue(
751 self.__model.getLocale().toInt( 751 self.__model.getLocale().toInt(

eric ide

mercurial