Marcus Brinkmann <[EMAIL PROTECTED]> writes: > I think that you have been right, and full color should be the default. > The corresponding other option would be --max-glyphs, and for > consistency full color should be renamed to --max-colors. > Both options should be implemented so you can clearly specify what you > want even if the default changes.
I will make this change (and that comment change Alfred proposed) and send in a new patch. I will send the patch to bug-hurd next monday. Thanks, Marco _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd