search

google-code-backups / proveit-js

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

ProveIt can cover Firefox find bar #104

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
ProveIt can sometimes cover the Firefox find bar.  I have noticed this in the 
past, and it was reported by AdeMiami on our talk page:

"In Firefox 3.6.13, on Mac system 10.4.11, as I type Command-G to repeat a 
search for a text string, the highlighted text is right at the bottom of the 
edit window, where it is "covered" by Proveit, even when minimized. It would be 
desirable to be able to hide Proveit completely to get round this—it's 
tiresome to have to change your preferences every time you want to either 
search for something or reference something, tasks which are often simultaneous 
anyway."

---
A possible solution is to allow completely hiding ProveIt as discussed in issue 
93.

Original issue reported on code.google.com by matthew....@gatech.edu on 26 Feb 2011 at 11:33

GoogleCodeExporter commented 8 years ago

Original comment by matthew....@gatech.edu on 26 Feb 2011 at 11:33

GoogleCodeExporter commented 8 years ago 
My summary misstates the problem.  It actually hides the *results* of the find 
bar search.

Original comment by matthew....@gatech.edu on 26 Feb 2011 at 11:35