summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog2
-rw-r--r--gui.py3
2 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 138cbe123..089903aec 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,8 @@ ChangeLog for PyLint
* #110838: fix pylint-gui crash when include-ids is activated (patch by
Omega Weapon)
+ * #110839: bind <F5> to Run button in pylint-gui
+
--
* #106534: add --ignore-imports option to code similarity checking
diff --git a/gui.py b/gui.py
index 2c9c1bc6a..c49c8ef0b 100644
--- a/gui.py
+++ b/gui.py
@@ -162,6 +162,9 @@ class LintGui:
msg_frame.pack(side=TOP, fill=BOTH, expand=True)
btn_frame.pack(side=TOP, fill=X)
+ # Binding F5 application-wide to run lint
+ self.root.bind('<F5>', self.run_lint)
+
#Message ListBox
rightscrollbar = Scrollbar(msg_frame)
rightscrollbar.pack(side=RIGHT, fill=Y)