Michael Gerz wrote:
> Hello,
>
> in a desparate attempt to find a simple bug to fix - so that Lars no
> longer has a reason to reject my key bindings patch - I came across char
> styles:
>
> If there are consecutive char styles with little content, there is a
> good chance that the inset labels are printed on top of each other
> (which looks ugly). I have fixed the metrics method in a way that it
> considers the inset label for the computation of the inset width.
>
> Guys, I am not sure whether this is the best way to fix the problem. Any
> comments (including "commit it" :-)) are welcome.
>
> Michael
I suspect that you mean to pass "s" to rectText, no?
+ string const s = undefined() ?
+ _("Undef: ") + params_.type : params_.type;
+ font_metrics::rectText(s, font, w, a, d);
--
Angus
