Piotr Konieczny wrote:
I'd prefer for it to have a button - somewhere in the editing toolbar - that would open it; the default setting of it always being on and open could be annoying in the long term (it is a great tool, but one I will not need for most of my edits). It would be nice if the window was draggable and would remember its position.
We have received similar feedback before (e.g. http://code.google.com/p/proveit-js/issues/detail?id=85). As noted there, we intend to provide an option to load with it minimized. We may consider switching the default for this option.
We have no current plans to make the window draggable.
Matthew Flaschen