Remove RenderButton::button_box_, which is unused.

diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp
index f480c0dffa5ac22174838fbb2322d2eea95c4cb0..33defcebfd5f832ba8417730346c704b7ea12b65 100644 (file)
--- a/src/insets/InsetInclude.cpp
+++ b/src/insets/InsetInclude.cpp
@@ -1217,8 +1217,6 @@ void InsetInclude::metrics(MetricsInfo & mi, Dimension & dim) const
                button_.metrics(mi, dim);
        }
 
-       Box b(0, dim.wid, -dim.asc, dim.des);
-       button_.setBox(b);
 }
 
 

diff --git a/src/insets/RenderButton.h b/src/insets/RenderButton.h
index ab68de2947e5bce8bdd4f6009c58ddb3857b37a6..27ea5ea15eae60a2591355e4eccca2dd2f53317e 100644 (file)
--- a/src/insets/RenderButton.h
+++ b/src/insets/RenderButton.h
@@ -13,7 +13,6 @@
 #define RENDERBUTTON_H
 
 #include "RenderBase.h"
-#include "Box.h"
 #include "support/docstring.h"
 
 
@@ -36,11 +35,6 @@ public:
        void update(docstring const &, bool editable,
                    bool inherit, bool broken = false);
 
-       /// The "sensitive area" box, i.e., the button area
-       Box box() const { return button_box_; }
-       ///
-       void setBox(Box b) { button_box_ = b; }
-
        /// equivalent to dynamic_cast
        RenderButton * asButton() override { return this; }
 
@@ -50,7 +44,6 @@ private:
        bool editable_;
        bool broken_;
        bool inherit_font_;
-       Box button_box_;
 };