search

google-code-backups / proveit-js

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

Toggle suggestion #93

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
This is not a bug, but a suggestion.  The program looks and works great.

Issue: Sometimes I don't want the proveit toolbar to pop-up

Solution:  An option to minimize or hide it

Implementation:  Double-click, toggle button, drag to minimize, keyboard 
shortcut (any of the above)

Original issue reported on code.google.com by jorlowi...@gmail.com on 27 Dec 2010 at 5:16

GoogleCodeExporter commented 8 years ago 
sorry, this is not a defect, but an enhancement

Original comment by jorlowi...@gmail.com on 27 Dec 2010 at 5:17

GoogleCodeExporter commented 8 years ago 
just to be clear... i don't want to hide the prove-it interface (that already 
happens).  i want to hide the collapsed menu-bar even moreso, like to a thin 
line rather than the half-inch bar

Original comment by jorlowi...@gmail.com on 27 Dec 2010 at 5:19

GoogleCodeExporter commented 8 years ago 
0I thought I added this a few days ago, but I don't see it.

If Proveit could be minimized to a button on the edit bar (the one that has 
"Save Page", "Preview" etc.) like a lot of other editing gadgets, that would be 
perfect.

Right now provit -- even as cool as it is -- takes up too much screen 
real-estate when it is idle.  Awesome gadget, though.

Original comment by michael...@gmail.com on 10 Jan 2011 at 9:53

GoogleCodeExporter commented 8 years ago 
Right now, I'm leaning towards the following.

* A toolbar button to the left of the advanced link, replacing the simple 
"Insert reference dialog".  This is in progress.
* Clicking this toggles between three modes.
** Hidden (only the toolbar is visible)
** Minimized (what it currently shows on page load)
** Maximized
* The default on page load will be minimized, but this can be configured to 
either hidden or maximized.

Original comment by matthew....@gatech.edu on 9 Mar 2012 at 2:45

GoogleCodeExporter commented 8 years ago 
To clarify, I am referring to the regular toolbar above the edit box, not part 
of ProveIt's interface.

Original comment by matthew....@gatech.edu on 9 Mar 2012 at 2:52

GoogleCodeExporter commented 8 years ago 
This seems to be working for me live on en-wikipedia, so maybe this issue can 
be closed?

I am quite impressed that the default status is sensitive to NAMESPACE ;-)

Original comment by phil.bos...@gmail.com on 18 Jul 2012 at 4:39