mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Dear Kostas,

I understand that something has to be done, but I have not yet a precise idea
on what I should do about it: the font sizes have to be compatible with
the icon sizes and the design of nice looking icons is very sensitive to
the size of the icon; just rescaling is not an option, but we might provide
the icons at a few standard sizes (e.g. 16/24/32, 20/30/40, 24/36/48).
So if someone wants to write the necessary scripts to generate the icons
from the svg versions and test a but with various sizes...

Best wishes, --Joris


On Tue, Jul 03, 2012 at 11:46:50AM -0400, Kostas Oikonomou wrote:
> 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.
> >>>>>>