eric6/Preferences/ConfigurationPages/EditorCalltipsPage.py

changeset 8143
2c730d5fd177
parent 7923
91e843545d9a
child 8218
7c09585bd960
equal deleted inserted replaced
8141:27f636beebad 8143:2c730d5fd177
27 self.setupUi(self) 27 self.setupUi(self)
28 self.setObjectName("EditorCalltipsPage") 28 self.setObjectName("EditorCalltipsPage")
29 29
30 self.positionComboBox.addItem( 30 self.positionComboBox.addItem(
31 self.tr("Below Text"), 31 self.tr("Below Text"),
32 QsciScintilla.CallTipsBelowText) 32 QsciScintilla.CallTipsPosition.CallTipsBelowText)
33 self.positionComboBox.addItem( 33 self.positionComboBox.addItem(
34 self.tr("Above Text"), 34 self.tr("Above Text"),
35 QsciScintilla.CallTipsAboveText) 35 QsciScintilla.CallTipsPosition.CallTipsAboveText)
36 36
37 # set initial values 37 # set initial values
38 self.ctEnabledCheckBox.setChecked( 38 self.ctEnabledCheckBox.setChecked(
39 Preferences.getEditor("CallTipsEnabled")) 39 Preferences.getEditor("CallTipsEnabled"))
40 40

eric ide

mercurial