else
fm.rectText(text_, dim.wid, dim.asc, dim.des);
- dim.wid += 4;
+ dim.wid += 2;
dim_ = dim;
}
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);
}
}
- 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