1 files changed, 3 insertions, 0 deletions
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)