UI/UserInterface.py

changeset 5011
4085e2348621
parent 4985
03ac1a030529
child 5092
d983e6405e45
equal deleted inserted replaced
5009:8b1ca3c1da22 5011:4085e2348621
608 608
609 # attributes for the last shown configuration page and the 609 # attributes for the last shown configuration page and the
610 # extended configuration entries 610 # extended configuration entries
611 self.__lastConfigurationPageName = "" 611 self.__lastConfigurationPageName = ""
612 self.__expandedConfigurationEntries = [] 612 self.__expandedConfigurationEntries = []
613
614 # set the keyboard input interval
615 interval = Preferences.getUI("KeyboardInputInterval")
616 if interval > 0:
617 QApplication.setKeyboardInputInterval(interval)
613 618
614 def __createLayout(self, debugServer): 619 def __createLayout(self, debugServer):
615 """ 620 """
616 Private method to create the layout of the various windows. 621 Private method to create the layout of the various windows.
617 622
5443 self.rightSidebar.setDelay(delay) 5448 self.rightSidebar.setDelay(delay)
5444 5449
5445 from HexEdit.HexEditMainWindow import HexEditMainWindow 5450 from HexEdit.HexEditMainWindow import HexEditMainWindow
5446 for hexEditor in HexEditMainWindow.windows: 5451 for hexEditor in HexEditMainWindow.windows:
5447 hexEditor.preferencesChanged() 5452 hexEditor.preferencesChanged()
5453
5454 # set the keyboard input interval
5455 interval = Preferences.getUI("KeyboardInputInterval")
5456 if interval > 0:
5457 QApplication.setKeyboardInputInterval(interval)
5458 else:
5459 QApplication.setKeyboardInputInterval(-1)
5448 5460
5449 self.preferencesChanged.emit() 5461 self.preferencesChanged.emit()
5450 5462
5451 def __masterPasswordChanged(self, oldPassword, newPassword): 5463 def __masterPasswordChanged(self, oldPassword, newPassword):
5452 """ 5464 """

eric ide

mercurial