mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

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.
> >>>>
> >>>
> >>