Graeme Geldenhuys wrote:
I would love to have different colour options for the three different comment types. I tend to use // comments for "headings", {} comments for inline explanations, and (* *) comments for masking stuff out - "it didn't work last time so don't try it again". I would love to be able to use a bright colour for the first type, less visible for the second, and all but invisible for the last.theo wrote: ps (Paul) just about the same weather 'just across the water' here in Gippsland. cheers, John Sunderland |
-- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
