<div class="gmail_quote">On Mon, Jun 4, 2012 at 9:17 PM, Bernd <span dir="ltr"><<a href="mailto:prof7bit@googlemail.com" target="_blank">prof7bit@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Ctrl+Shift+Space function call-tips height much too small, I can only<br>
see a small horizontal rectangle with only the upper few pixels of the<br>
text instead of a the full hint window.<br>
<br>
37468 is ok<br>
37469 breaks it.<br></blockquote><div><br>Fixed in r37515 by reverting the earlier commit.<br>See #21775: Font with number in name gets wrong size<br><br>I hope someone can fix the height bug. The original patch from cobines fixed another serious font size related problem.<br>
My understanding of GTK2 widgetset is not enough and I have no time or energy to study it now.<br><br>Juha<br><br></div></div>