From bf6691dcf72174e1f0ddccdb8c9343f3ba77cb64 Mon Sep 17 00:00:00 2001
From: jules <jules@rawmaterialsoftware.com>
Date: Mon, 21 Oct 2013 09:12:42 +0100
Subject: [PATCH] Added a few override annotations.

---
 .../Source/Utility/jucer_MiscUtilities.h       | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/extras/Introjucer/Source/Utility/jucer_MiscUtilities.h b/extras/Introjucer/Source/Utility/jucer_MiscUtilities.h
index 9315d2e606..10faf1e1d5 100644
--- a/extras/Introjucer/Source/Utility/jucer_MiscUtilities.h
+++ b/extras/Introjucer/Source/Utility/jucer_MiscUtilities.h
@@ -118,7 +118,7 @@ public:
         sourceValue.addListener (this);
     }
 
-    void valueChanged (Value&)      { sendChangeMessage (true); }
+    void valueChanged (Value&) override      { sendChangeMessage (true); }
 
 protected:
     Value sourceValue;
@@ -162,7 +162,7 @@ public:
         getGlobalProperties().setValue (windowPosProperty, getWindowStateAsString());
     }
 
-    void closeButtonPressed()
+    void closeButtonPressed() override
     {
         owner = nullptr;
     }
@@ -236,19 +236,19 @@ public:
         }
     }
 
-    void buttonClicked (Button*)
+    void buttonClicked (Button*) override
     {
         setColour (defaultColour);
         selector.setCurrentColour (defaultColour);
     }
 
-    void changeListenerCallback (ChangeBroadcaster*)
+    void changeListenerCallback (ChangeBroadcaster*) override
     {
         if (selector.getCurrentColour() != getColour())
             setColour (selector.getCurrentColour());
     }
 
-    void valueChanged (Value&)
+    void valueChanged (Value&) override
     {
         selector.setCurrentColour (getColour());
     }
@@ -328,7 +328,7 @@ public:
         }
     }
 
-    void mouseDown (const MouseEvent&)
+    void mouseDown (const MouseEvent&) override
     {
         if (undoManager != nullptr)
             undoManager->beginNewTransaction();
@@ -339,7 +339,7 @@ public:
                                           getScreenBounds(), nullptr);
     }
 
-    void valueChanged (Value&)
+    void valueChanged (Value&) override
     {
         refresh();
     }
@@ -366,12 +366,12 @@ public:
         addAndMakeVisible (&colourEditor);
     }
 
-    void resized()
+    void resized() override
     {
         colourEditor.setBounds (getLookAndFeel().getPropertyComponentContentPosition (*this));
     }
 
-    void refresh() {}
+    void refresh() override {}
 
 protected:
     ColourEditorComponent colourEditor;