mailing-list for TeXmacs Users

[Gubinelli Massimiliano <address@hidden>]

No. Maybe if you find some way to change the system font for KDE, this will result in better readibility for the focus bar. It is designed to have a smaller font than the menus.

best

max

On 17 juin 2012, at 18:04, Boris Kheyfets wrote:

So - no way to increase it?

On Sun, Jun 17, 2012 at 8:02 PM, Sam Liddicott <address@hidden> wrote:

I think that looks normal

Sam

On Jun 17, 2012 4:54 PM, "Boris Kheyfets" <address@hidden> wrote:

Thank You Sam

Here's a screenshot:
http://farm8.staticflickr.com/7228/7387026726_5d527edb97_z.jpg
Looks like qt to me (screen shot also show the small fonts).

What could be done?

On Sun, Jun 17, 2012 at 6:12 PM, Sam Liddicott <address@hidden> wrote:

I guess you are using X texmacs instead of QT and that your X dpi is set wrongly but your KDE doing us right.

To test this, run the X tool for got called : qgit

and see if you have the same problem

Sam

On Jun 16, 2012 3:26 PM, "Boris Kheyfets" <address@hidden> wrote:

I have TeXmacs deb package installed on Kubuntu 12.04, but some fonts
are tiny. For example when I quit TeXmacs it asks me if I want to save
the doc in the tiny font. While menu fonts are alright. Could be set
somewhere?

With great respect,
Boris.