Preferences/ConfigurationPages/EditorCalltipsPage.py

changeset 3190
a9a94491c4fd
parent 3160
209a07d7e401
child 3484
645c12de6b0c
equal deleted inserted replaced
3189:9a21c547de5f 3190:a9a94491c4fd
29 self.setupUi(self) 29 self.setupUi(self)
30 self.setObjectName("EditorCalltipsPage") 30 self.setObjectName("EditorCalltipsPage")
31 31
32 if QSCINTILLA_VERSION() >= 0x020700: 32 if QSCINTILLA_VERSION() >= 0x020700:
33 self.positionComboBox.addItem( 33 self.positionComboBox.addItem(
34 self.trUtf8("Below Text"), 34 self.tr("Below Text"),
35 QsciScintilla.CallTipsBelowText) 35 QsciScintilla.CallTipsBelowText)
36 self.positionComboBox.addItem( 36 self.positionComboBox.addItem(
37 self.trUtf8("Above Text"), 37 self.tr("Above Text"),
38 QsciScintilla.CallTipsAboveText) 38 QsciScintilla.CallTipsAboveText)
39 else: 39 else:
40 self.calltipsPositionBox.hide() 40 self.calltipsPositionBox.hide()
41 41
42 # set initial values 42 # set initial values

eric ide

mercurial