The change of JFrame into JDialog makes floating dockables depend on the enclosing
frame more formally. Thus window managers are more likely to keep parts together
where they belong. This is particularly important with full-screen mode, especially
on Mac OS X, but also on Windows: as JDialog the floating windows stay on top of the
view, as JFrame they may fall behind it and become inaccessible.
This change of policy has worked out quite well for Isabelle/jEdit since May 2014.
Afterwards I've enjoyed OSX full-screen mode a lot, and in Yosemite it even replaces
the former "maximize" button of the window.
Nonetheless, such window policies are subject to discussion. See also the isabelle-dev
mailing list thread "NEWS: Improved management of dockable windows" from May 2014:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2014-May/005365.html
Submitted | makarius - 2014-10-26 21:09:54.089000 | Assigned | ezust |
---|---|---|---|
Priority | 5 | Labels | |
Status | pending | Group | |
Resolution | rejected |
2014-10-27 03:56:39.722000 ezust |
- **assigned_to**: Alan Ezust |
---|---|
2014-10-27 04:14:38.762000 ezust |
- **status**: open --> closed-accepted |
2014-10-27 04:14:39.205000 ezust |
Committed 23704 |
2015-12-08 19:23:50.241000 ezust |
- **status**: closed-accepted --> pending-rejected |
2015-12-08 19:23:50.504000 ezust |
It looks like we will have to roll this one back, as it changes the behavior of dockables
and is not desired by many users.
|
2015-12-08 20:51:34.078000 makarius |
It would be interesting to understand what the problem of FastOpen actually is.
|
2015-12-10 16:35:41.087000 ezust |
Please ignore what I said about FastOpen. My problems were unrelated.
|
2015-12-10 16:39:48.555000 ezust |
I can see why in full-screen mode, you would want all your dockables to be in front
of the View.
|