|
From: | Elias Mårtenson |
Subject: | Re: [Bug-apl] A GTK wrapper for GNU APL |
Date: | Wed, 13 Aug 2014 13:29:32 +0800 |
On Tue, Aug 12, 2014 at 5:59 PM, Chris Moller <address@hidden> wrote:
The --with-apl-source-dir= thing is left over from an old version and I forget to take it out of the INSTALL file. Now it asks apl itself where the source is. If it's important, I can stick the option back in, but, mostly, it should do things automagically.
Cool. I didn't think to try that.You can set the font size with the -s option:
aplwrap -s 22for example, will set the size to 22 points. Default is 12 points, which is kinda big, but with anything much smaller some characters like del-tilde are pretty muddy. I'll see if I can find a mono-font.
Sadly, font size doesn't seem to be scaled to screen resolution (at least not on Fedora). On my work laptop with an HD screen, 17 points is a reasonable font size.
--"The secret to creativity is knowing how to hide your sources."Albert Einstein
[Prev in Thread] | Current Thread | [Next in Thread] |