[Github-comments] [geany/geany] improvement: cut down the space wasted in sidebar (#1711)

elextr notifications at xxxxx
Fri Dec 8 12:50:27 UTC 2017


@mckaygerhard the point of the long list of how to determine the length on tabs is that once you move beyond ASCII into other languages none of those simple methods work.  Translations mean you don't know what the tab is called.

A fixed number of bytes is no good, it might fall in the middle of a multi-byte code point in some non-english language.  Even a fixed number of code points won't work due to combining characters which mean two code points is one glyph, and not all glyphs are the same size so a fixed number of them may not work for some languages.

So you are left with physical sizes, although you can cut glyphs off so its not as nice, and fixed number of pixels means you are prey to monitor resolutions, and won't change with font sizes or zooming.  Using mm avoids the monitor resolution issues but not font sizes or zoom, ems helps that further, but its all now becoming awfully complicated, and who knows if the GTK tab widgets can be controlled in that way, the do not seem to have a `max-width` CSS AFAICT.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1711#issuecomment-350255747
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20171208/b7ea5d85/attachment.html>


More information about the Github-comments mailing list