Re: "Dark style"

Hi,


>     These define the colours of errors when they are shown inline inside the edit panel.
> https://www.scintilla.org/annotations.png
>
>     For the output panel you want style.errorlist.* which have their default values in others.properties.

Great, it works.

I've checked out the docs, but these properties do not appear...

-- Baltasar

-- 
You received this message because you are subscribed to the Google Groups "scite-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To view this discussion on the web visit https://groups.google.com/d/msgid/scite-interest/722cf7d1-7e82-12d3-caf6-360ec4b82f5a%40gmail.com.