diff --git a/src/insets/RenderButton.cpp b/src/insets/RenderButton.cpp index 9d080b8df7..06fc653da7 100644 --- a/src/insets/RenderButton.cpp +++ b/src/insets/RenderButton.cpp @@ -51,7 +51,7 @@ void RenderButton::metrics(MetricsInfo &, Dimension & dim) const else fm.rectText(text_, dim.wid, dim.asc, dim.des); - dim.wid += 4; + dim.wid += 2; dim_ = dim; } @@ -64,9 +64,9 @@ void RenderButton::draw(PainterInfo & pi, int x, int y) const font.decSize(); if (editable_) { - pi.pain.buttonText(x + 2, y, text_, font, renderState()); + pi.pain.buttonText(x + 1, y, text_, font, renderState()); } else { - pi.pain.rectText(x + 2, y, text_, font, + pi.pain.rectText(x + 1, y, text_, font, Color_commandbg, Color_commandframe); } } diff --git a/status.20x b/status.20x index 86593c528c..77b1f7eaae 100644 --- a/status.20x +++ b/status.20x @@ -44,6 +44,9 @@ What's new - Clarify what the user can do when hyperref is provided by the document class (bug 6293). +- Slightly reduced space around inset buttons, to make it clearer when + there is a real space there (bug 7256). + * DOCUMENTATION AND LOCALIZATION