85b6bb484e
does a font change in the Options menu seems to be fixed, although no change actually seems to result. The GTK binding does not seem to be any better, but it's also not any worse. |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-comment | ||
pkg-descr | ||
pkg-plist |