Reenable edited by ProveIt summary, with explanation about disabling

[GoogleCodeExporter]

Reenable edited by ProveIt summary, with explanation and option about opting 
out.

Original issue reported on code.google.com by matthew....@gatech.edu on 31 Aug 2010 at 7:51

[GoogleCodeExporter]

This is now enabled by default, as of 6c9b5.  To disable, people can add:

proveit.shouldAddSummary = false;

after the importScript.  This should be noted in the documentation.

Original comment by matthew....@gatech.edu on 2 Sep 2010 at 10:14

• Changed state: Started
• Added labels: Component-Docs

[GoogleCodeExporter]

Original comment by kurt.luther on 21 Sep 2010 at 7:51

• Added labels: Milestone-Release1.0

[GoogleCodeExporter]

Put in Tutorial page.

Original comment by kurt.luther on 21 Sep 2010 at 7:54

[GoogleCodeExporter]

This issue was closed by revision 4c8fc1b8cc.

Original comment by matthew....@gatech.edu on 23 Sep 2010 at 6:05

• Changed state: Fixed

[GoogleCodeExporter]

Fixed in 4c8fc.  I added a new page linked from the tutorials page.  The 
formatting is pretty simple, so we may want to style it further later.

Original comment by matthew....@gatech.edu on 23 Sep 2010 at 6:06

[GoogleCodeExporter]

The code we're currently using:

addOnloadHook(function() { proveit.shouldAddSummary = false; });

doesn't work reliably in Chrome.  proveit can still be undefined due to the 
async load.

Original comment by matthew....@gatech.edu on 5 Oct 2010 at 12:30

• Changed state: Started

[GoogleCodeExporter]

This should be fixed (tested in IE, Chrome, Firefox, and Opera) as of 346bb.  
This includes the documentation (in userguide.php).  It needs to be tested in 
Safari before being marked fixed.

Original comment by matthew....@gatech.edu on 3 Nov 2010 at 11:59

[GoogleCodeExporter]

Tested successfully in Safari.

Original comment by matthew....@gatech.edu on 4 Nov 2010 at 9:02

• Changed state: Fixed