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

Matthew Brush notifications at xxxxx
Fri Dec 8 07:05:45 UTC 2017


> ok but must be an api and base to geany display that names, i think in that base of code just take the label and cut done to only 3 letters or only initials

Geany core could iterate the tabs and if they contain label widgets, truncate/ellipsize their label text to a preset width. It wouldn't be very hard.

-- 
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-350189752
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20171208/6d2d75f6/attachment.html>


More information about the Github-comments mailing list