On Tue, Aug 12, 2014 at 5:59 PM, Chris Moller <mol...@mollerware.com> 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 22 > > for 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 http://soundcloud.com/davidlamkins http://reverbnation.com/lamkins http://reverbnation.com/lcw http://lamkins-guitar.com/ http://lamkins.net/ http://successful-lisp.com/