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

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

diff --git a/src/insets/insetexternal.h b/src/insets/insetexternal.h
index fee519ee71d1fcb120e252cea4f469d1360ff905..2dfd03ef87e052e4d449578c99a480308a108486 100644 (file)
--- a/src/insets/insetexternal.h
+++ b/src/insets/insetexternal.h
@@ -79,7 +79,7 @@ public:
        virtual Inset * clone(Buffer const &, bool same_id = false) const;
 
        /// returns the text of the button
-       virtual string const getScreenLabel() const;
+       virtual string const getScreenLabel(Buffer const *) const;
 
        // The following public members are used from the frontends code