mailing-list for TeXmacs Users

[Kostas Oikonomou <address@hidden>]

I want to put in my vote on the font issue: the Qt version 
is not usable for me on Solaris with Gnome/X
because of the tiny font size in the minibuffer. (I know 
that others on the mailing list regard it as "normal".)
Also, I don't see how a Linux/Gnome system  would behave any 
differently.  A KDE system, perhaps.
Finally, the font size is not sensitive to the system 
defaults set with "qtconfig".

                    Kostas

On 07/ 2/12 08:44 AM, Joris van der Hoeven wrote:
> On Sun, Jun 17, 2012 at 08:04:21PM +0400, Boris Kheyfets wrote:
> > So - no way to increase it?
> For the moment, no. But it is true that this is an issue,
> especially now that the new retina screens are available on laptops.
>
> I redesigned all icons in SVG, so, at least in principle,
> I could generate png versions at larger sizes.
> But of course, we do not want to include too many sizes.
> I am not sure yet what would be the right policy.
>
> Best wishes, --Joris
>
>
>
> > 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.