> differing fonts is a good idea, but probably means they should be user > settable, we don't know their screen and eye resolution and forcing using a > smaller font may make it hard to read for some people who might like bold for > example instead.
This is done using HTML tags like `<small>`, `<tt>`, `<i>`, `<b>`, etc. and I'd expect that GTK does something reasonably sane and e.g. for `<small>` it sets the font relative to the base font. Nick already used this in https://github.com/geany/geany/pull/3542 but only for the tooltip and I think it's fine this way. Also, the small part is the signature which is the "bonus" part compared to the previous Geany release and users will still see the path and line number the same way as before. > how is the list width set, thats what determines if both path and a useful > amount of the signature is visible Yeah, basically the thought was that we want to preserve Geany's behavior (showing path and line number) and truncate the extra part - the signature (of course unless the path is over 80 characters, I'm just not sure how common that is). Users can then get the full signature using the tooltip. > Pinging about everyone, this will be one of those features where we'll all > have a different opinion and hate each other with passion ;-) To be sure if it weren't clear - it was just a joke. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3547#issuecomment-1691102577 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3547/[email protected]>
