Scott Klement wrote:
>     xterm_font80 = 9x15
>     xterm_font132 = fixed

I like, but please rename the options to `font_80' and `font_132'.  I'm
using these in the Gnome emulator currently, and it takes the same sort
of font spec.  I'll apply the patch then.

-Jason
+---
| This is the LINUX5250 Mailing List!
| To submit a new message, send your mail to [EMAIL PROTECTED]
| To subscribe to this list send email to [EMAIL PROTECTED]
| To unsubscribe from this list send email to [EMAIL PROTECTED]
| Questions should be directed to the list owner/operator: [EMAIL PROTECTED]
+---

Reply via email to