522 self.symbolsTable.horizontalHeader().resizeSection(4, em * 85) |
522 self.symbolsTable.horizontalHeader().resizeSection(4, em * 85) |
523 self.symbolsTable.verticalHeader().setDefaultSectionSize( |
523 self.symbolsTable.verticalHeader().setDefaultSectionSize( |
524 fm.height() + 4) |
524 fm.height() + 4) |
525 |
525 |
526 tableIndex = int( |
526 tableIndex = int( |
527 Preferences.Prefs.settings.value("Symbols/CurrentTable", 1)) |
527 Preferences.getSettings().value("Symbols/CurrentTable", 1)) |
528 self.tableCombo.addItems(self.__model.getTableNames()) |
528 self.tableCombo.addItems(self.__model.getTableNames()) |
529 self.tableCombo.setCurrentIndex(tableIndex) |
529 self.tableCombo.setCurrentIndex(tableIndex) |
530 |
530 |
531 index = self.__model.index( |
531 index = self.__model.index( |
532 int(Preferences.Prefs.settings.value("Symbols/Top", 0)), |
532 int(Preferences.getSettings().value("Symbols/Top", 0)), |
533 0) |
533 0) |
534 self.symbolsTable.scrollTo( |
534 self.symbolsTable.scrollTo( |
535 index, QAbstractItemView.ScrollHint.PositionAtTop) |
535 index, QAbstractItemView.ScrollHint.PositionAtTop) |
536 self.symbolsTable.selectionModel().setCurrentIndex( |
536 self.symbolsTable.selectionModel().setCurrentIndex( |
537 index, |
537 index, |
578 |
578 |
579 first, last = self.__model.getTableBoundaries(index) |
579 first, last = self.__model.getTableBoundaries(index) |
580 self.symbolSpinBox.setMinimum(first) |
580 self.symbolSpinBox.setMinimum(first) |
581 self.symbolSpinBox.setMaximum(last) |
581 self.symbolSpinBox.setMaximum(last) |
582 |
582 |
583 Preferences.Prefs.settings.setValue("Symbols/CurrentTable", index) |
583 Preferences.getSettings().setValue("Symbols/CurrentTable", index) |
584 |
584 |
585 def __currentRowChanged(self, current, previous): |
585 def __currentRowChanged(self, current, previous): |
586 """ |
586 """ |
587 Private slot recording the currently selected row. |
587 Private slot recording the currently selected row. |
588 |
588 |
589 @param current current index (QModelIndex) |
589 @param current current index (QModelIndex) |
590 @param previous previous current index (QModelIndex) |
590 @param previous previous current index (QModelIndex) |
591 """ |
591 """ |
592 Preferences.Prefs.settings.setValue("Symbols/Top", current.row()) |
592 Preferences.getSettings().setValue("Symbols/Top", current.row()) |
593 self.symbolSpinBox.setValue(self.__model.getLocale().toInt( |
593 self.symbolSpinBox.setValue(self.__model.getLocale().toInt( |
594 self.__model.data(self.__model.index(current.row(), 0)))[0]) |
594 self.__model.data(self.__model.index(current.row(), 0)))[0]) |