--- a/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py Wed Oct 25 14:30:33 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py Wed Oct 25 16:12:46 2023 +0200 @@ -79,6 +79,18 @@ self.mouseHoverHelpGroupBox.setChecked(Preferences.getEditor("MouseHoverHelp")) self.mouseDwellTimeSpinBox.setValue(Preferences.getEditor("MouseHoverTimeout")) + rectangularSelectionModifier = Preferences.getEditor( + "RectangularSelectionModifier" + ) + if rectangularSelectionModifier == Qt.KeyboardModifier.ControlModifier: + self.rectangularSelectionCtrlButton.setChecked(True) + elif rectangularSelectionModifier == Qt.KeyboardModifier.AltModifier: + self.rectangularSelectionAltButton.setChecked(True) + elif rectangularSelectionModifier == Qt.KeyboardModifier.MetaModifier: + self.rectangularSelectionMetaButton.setChecked(True) + else: + self.rectangularSelectionCtrlButton.setChecked(True) # default + virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") self.vsSelectionCheckBox.setChecked( virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION @@ -145,6 +157,17 @@ Preferences.setEditor("MouseHoverHelp", self.mouseHoverHelpGroupBox.isChecked()) Preferences.setEditor("MouseHoverTimeout", self.mouseDwellTimeSpinBox.value()) + rectangularSelectionModifier = Qt.KeyboardModifier.ControlModifier # default + if self.rectangularSelectionCtrlButton.isChecked(): + pass # already set as default value + elif self.rectangularSelectionAltButton.isChecked(): + rectangularSelectionModifier = Qt.KeyboardModifier.AltModifier + elif self.rectangularSelectionMetaButton.isChecked(): + rectangularSelectionModifier = Qt.KeyboardModifier.MetaModifier + Preferences.setEditor( + "RectangularSelectionModifier", rectangularSelectionModifier + ) + virtualSpaceOptions = QsciScintillaBase.SCVS_NONE if self.vsSelectionCheckBox.isChecked(): virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION