search

google-code-backups / proveit-js

Automatically exported from code.google.com/p/proveit-js
0 stars 0 forks source link

Clicking Add Reference should maximize ProveIt #65

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
When ProveIt is minimized, clicking "Add Reference" should maximize it as well 
as showing the Add tab.

Original issue reported on code.google.com by matthew....@gatech.edu on 5 Oct 2010 at 9:05

GoogleCodeExporter commented 8 years ago 
Fixed as of 98acd51b6d. This didn't work for the "References" tab either, so I 
also fixed that.

Original comment by kurt.luther on 14 Oct 2010 at 4:21