From ce7eedc058a8736489be5f3a429e72d794729f25 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Mon, 30 Nov 2015 04:41:41 +0100
Subject: [PATCH] Added override to on_key_press_event and
 on_button_press_event in source.h

---
 src/source.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/source.h b/src/source.h
index 54a3951..329eb28 100644
--- a/src/source.h
+++ b/src/source.h
@@ -102,6 +102,9 @@ namespace Source {
     void set_tab_char_and_size(char tab_char, unsigned tab_size);
     std::pair<char, unsigned> get_tab_char_and_size() {return {tab_char, tab_size};}
     
+    bool on_key_press_event(GdkEventKey* key) override;
+    bool on_button_press_event(GdkEventButton *event) override;
+    
     bool soft_reparse_needed=false;
     bool full_reparse_needed=false;
     virtual void soft_reparse() {soft_reparse_needed=false;}
@@ -133,9 +136,6 @@ namespace Source {
     bool find_right_bracket_forward(Gtk::TextIter iter, Gtk::TextIter &found_iter);
     bool find_left_bracket_backward(Gtk::TextIter iter, Gtk::TextIter &found_iter);
     
-    bool on_key_press_event(GdkEventKey* key);
-    bool on_button_press_event(GdkEventButton *event);
-    
     std::pair<char, unsigned> find_tab_char_and_size();
     unsigned tab_size;
     char tab_char;