improve the behaviour of Mixer_UI::move_stripable_into_view()

[ardour.git] / gtk2_ardour / mouse_cursors.h

diff --git a/gtk2_ardour/mouse_cursors.h b/gtk2_ardour/mouse_cursors.h
index 5e40a84c4cfd7edad845d920721be173aca0be00..ed29840b68044cbedf7e402cf178e1fc60e825ad 100644 (file)
--- a/gtk2_ardour/mouse_cursors.h
+++ b/gtk2_ardour/mouse_cursors.h
@@ -29,6 +29,7 @@ class MouseCursors
 {
 public:
        MouseCursors ();
+       ~MouseCursors ();
 
        void set_cursor_set (const std::string& name);
        std::string cursor_set() const { return _cursor_set; }
@@ -79,7 +80,7 @@ public:
           is actually a valid value for a Gdk::Cursor - it indicates
           "use the parent window's cursor"
        */
-       
+
        static bool is_invalid (Gdk::Cursor* c) { if (!_invalid) { create_invalid(); } return c == _invalid; }
        static Gdk::Cursor* invalid_cursor() { if (!_invalid) { create_invalid(); } return _invalid; }