[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Toolbox and colors

Use the "Check Status of Step or Module" command (Control+G Control+T) with the cursor
outside any proof step.  It recolors everything using fingerprints.  It's not as fast as we would
like, but it doesn't rerun any proofs.

On Saturday, October 26, 2013 3:29:13 AM UTC-8, fl wrote:

Hi everybody,

A feature that I would appreciate in toobox is the
ability to uncolor and then color everything again
since when we modify a file outside from toolbox
the colors are no longer associated with right lines.