Re: [isabelle] Highlight sorry in jEdit



Am Freitag, den 09.11.2012, 09:09 +0100 schrieb Joachim Breitner:
> Dear List,
> 
> I often use sorry when doing my proofs top-down; and then I later need
> to find them again. I found out about Ctrl-, to search, but it would be
> more convenient if sorry were prominently highlighted, e.g. in red. This
> would give me continuous feedback about how far I am with my proof.
> 
> Can I easily configure that myself? Also, please consider making that
> the default, I’d say others profit from that as well.

In the development version of Isabelle is sorry already highlighted with
a light red background. It is not (yet?) reflected at the scrollbar like
it is done with errors and warnings.
        
         - Johannes
        






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.