Re[2]: [ jEdit-users ] How to customize colors of buffer tabs

[Rick R. <mai...@re...>]

On Thursday, August 29, 2002, 3:32:02 PM, Robert wrote:

RM>   Searching the mailing list archives is a good place to start.

      Thanks. You are right. My apologizes I should have checked the
      archives first. Actually I didn't even know there was a an
      online access to the archives. Thanks for the link.
-- 

Rick
mailto:mai...@re...