GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-12-20 10:22:57 -05:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Merge pull request #562 from ijgnd/master

Browse source 
make help text selectable
This commit is contained in:
Damien Elmes 2020-04-16 10:14:02 +10:00 committed by GitHub
commit 4fb9dc734b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
qt/aqt/addons.py
View file

@ -1282,6 +1282,7 @@ class ConfigEditor(QDialog):
self.mgr = dlg.mgr
self.form = aqt.forms.addonconf.Ui_Dialog()
self.form.setupUi(self)
self.form.label.setTextInteractionFlags(Qt.TextSelectableByMouse)
restore = self.form.buttonBox.button(QDialogButtonBox.RestoreDefaults)
restore.clicked.connect(self.onRestoreDefaults)
self.setupFonts()