[isabelle-dev] NEWS: Improved management of dockable windows
noschinl at in.tum.de
Wed May 21 11:51:55 CEST 2014
On 12.05.2014 14:26, Makarius wrote:
> * Improved management of dockable windows: clarified keyboard focus
> and window placement wrt. main editor view; optional menu item to
> "Detach" a copy where this makes sense.
I've started using the "Detach" functionality quite a bit during the
last week. A few comments on that:
* At least for the output window, I'd like to see a more direct to
to detach a window than the context menu.
* The fact that a detached window stays on top of the jEdit window
is often quite nice.
* On GNOME 3.8, the detached (and floating instance) windows
do not have the usual "close" button, nor can they be maximized
(resizing is possible, though) (this refers to b7999893ffcce).
This is annoying, as I sometimes use the whole second screen to
look at long goals (which are sometimes awkwardly wrapped).
(I guess this is a side-effect of making the windows JDialogs).
* Sometimes, I use a detached window to see the proof state at a
certain position in my theory, regardless on where my cursor is.
If I successfully changed (i.e. not in between) some lemmas before,
I want to see the updated proof state at the same position as before
(for example by clicking some "update" button).
More information about the isabelle-dev