diff options
| author | Omega Weapon <OmegaPhil+hg@gmail.com> | 2012-11-12 13:52:02 +0100 |
|---|---|---|
| committer | Omega Weapon <OmegaPhil+hg@gmail.com> | 2012-11-12 13:52:02 +0100 |
| commit | 9834e66db73fdf0bca2e187002fef4dde8486acd (patch) | |
| tree | 1efb8c2e96f64fa80c640df726d90f0ab652e2fb /gui.py | |
| parent | de5e24e5808386da779523a558bdb4c8e2f1a5b8 (diff) | |
| download | pylint-git-9834e66db73fdf0bca2e187002fef4dde8486acd.tar.gz | |
pylint-gui: Bind F5 to the run button. Closes #110839
--HG--
branch : stable
Diffstat (limited to 'gui.py')
| -rw-r--r-- | gui.py | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) |