1 files changed, 4 insertions, 0 deletions
diff --git a/src/ui/widget/spinbutton.h b/src/ui/widget/spinbutton.h
index 710b511b1..3e7e829f5 100644
--- a/src/ui/widget/spinbutton.h
+++ b/src/ui/widget/spinbutton.h
@@ -93,10 +93,14 @@ protected:
      */
     bool on_my_key_press_event(GdkEventKey* event);
 
+
+    void on_value_changed();
     /**
      * Undo the editing, by resetting the value upon when the spinbutton got focus.
      */
     void undo();
+
+    int prevdigits;
 };
 
 } // namespace Widget