mailing-list for TeXmacs Users

[Boris Kheyfets <address@hidden>]

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.