Summary: | Select font size between 8 and 9pt | ||
---|---|---|---|
Product: | [Applications] konsole | Reporter: | Kazuo Teramoto <kaz.rag> |
Component: | general | Assignee: | Konsole Developer <konsole-devel> |
Status: | RESOLVED LATER | ||
Severity: | wishlist | ||
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Ubuntu | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Kazuo Teramoto
2008-02-15 01:37:56 UTC
> I tried to manually change the .profile to 8.5 > (this work with DejaVuSans) but with inconsolata this don't work. I cannot do much about that I'm afraid. If it works with one font but not another then the problem, if there is one, is lower down the software stack. Probably in Qt since scaling is smooth in gnome-terminal. There is a Trolltech bug report open which seems to be related. I suggest subscribing to it for any updates. Although since it has been open since Qt 4.1 I'm not sure how likely it is to get fixed. http://trolltech.com/developer/task-tracker/index_html?method=entry&id=128722 > I suggest subscribing to it for any updates.
My mistake, this doesn't seem to be possible.
|