[wingide-users] small feature requestsMarc Recht marc at informatik.uni-bremen.de
Fri, 07 Feb 2003 17:39:28 +0100
--==========1713732778========== Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline > Do you mean replace the coloring for public/private/imported/etc with > kind-specific coloring or somehow combine the two? Adding icons into > the mix might work too. I think I'd agree that coloring by kind is > probably more useful than the current approach. Any opinions on that > from other users? I'm not sure about icons (might slow down the editor too much), but I'd absolutly love to see coloring by kind. Regards, Marc -- "Premature optimization is the root of all evil." -- Donald E. Knuth --==========1713732778========== Content-Type: application/pgp-signature Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.1 (NetBSD) iD8DBQE+Q+FA7YQCetAaG3MRAlaQAJ9J748kvB8fkOYzkunGLduS/0SgZgCeMPC6 wuYm+t5AXNCo2IpcBLTyVAw= =SSCf -----END PGP SIGNATURE----- --==========1713732778==========--
Run by Mailman v 2.0.8
Copyright (c) 2000-2002, Archaeopteryx Software, Inc.