"Ted Hill" <[EMAIL PROTECTED]> wrote in message
ajqs6k$3ja$[EMAIL PROTECTED]">news:ajqs6k$3ja$[EMAIL PROTECTED]...
> There are now several kinds of dash marks that appear in the right-hand
> 'gutter':
>
> bookmark
> syntax error
> unused variable, etc.
> goto
>
> If two different kinds of mark apply to the same line, one of them takes
> precedence and obscures the other.
>
> Would it be possible to do multi-colored marks?
>
> For example, if there is both a bookmark and a syntax error on the same
> line, could the left half of the mark be red and the right half black?

How about putting one above the other? I don't think it would be a problem
to have a mark 2 pixels above where it would otherwise be. Nobody would be
able to tell the difference anyway.


_______________________________________________
Eap-features mailing list
[EMAIL PROTECTED]
http://lists.jetbrains.com/mailman/listinfo/eap-features

Reply via email to