diff options
-rw-r--r-- | ChangeLog | 2 | ||||
-rw-r--r-- | gui.py | 3 |
2 files changed, 5 insertions, 0 deletions
@@ -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 @@ -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) |