Baruch's graphics patch + some small tweaks to the buttoncontroller stuff

[features.git] / src / insets / insetlabel.h

diff --git a/src/insets/insetlabel.h b/src/insets/insetlabel.h
index 094965e3c767eabb51d155af57903dc2f38c6add..8fbfeeaa5a15f58d25bc7eb8e9e9c86f4aa28d5a 100644 (file)
--- a/src/insets/insetlabel.h
+++ b/src/insets/insetlabel.h
@@ -27,7 +27,7 @@ public:
                return new InsetLabel(params(), same_id);
        }
        ///
-       string const getScreenLabel() const { return getContents(); }
+       string const getScreenLabel(Buffer const *) const { return getContents(); }
        ///
        EDITABLE editable() const { return IS_EDITABLE; }
        ///