On Sun, Nov 22, 2015 at 06:48:43PM +0100, Edward Bartolo wrote:
> Hi,
>
> Font size depends on your pixels per inch setting. If your screen
> resolution is very high fonts can also appear smaller than intended.
>
> Please reply giving me your screen resolution and your estimate of
> font size in millimetres. I will try to devise a way to tell the GUI
> frontend to use a different size with a simple command line parameter
> like --auto-conn.
>
> This means, if I want netman to increase the font size by 50%, I would
> use --font-size-factor=1.5. If you have a better idea, please don't
> hesitate to share it.

Or perhaps recognise control-plus and control-minus.
Or recognise the X resources associates with X's screen.
Or listen to what the window manager has to say. Unless gtk, of course, has abstracted that away into inaccessibility.

-- hendrik

>
> Thanks.
>
> Edward
>
> On 20/11/2015, rennes@??? <rennes@???> wrote:
> > Hi Edward,
> >
> > I saw your mail via dng, i install netman on devuan-x86_64 to evaluate.
> >
> > - netman works fine with ethernet and wifi connections
> > - i've problem with the gui, i can't resize the window and the font size
> > is small(i use xfce).
> >
> > i try to install lazarus to make some changes but i have some dependency
> > problems.
> >
> > and i download netman from gnuinos.org/netman .
> >
> > thanks.
> >
> > rennes
> >
> >
> _______________________________________________
> Dng mailing list
> Dng@???
> https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng