Thanks to the modernized MacOSX plugin the native fullscreen mode of Mac OS X (e.g.
Mavericks) works nicely. The jEdit action `toggle-full-screen` is rather useless,
though: the window size is not correct wrt. the desktop, it is not really full-screen
mode.
(Until recently it was unthinkable to get proper full-screen on that very special
platform. Maybe the relevant MacOSX plugin functionality could be somehow integrated
into the main codebase.)
Submitted | makarius - 2014-05-27 20:32:54.407000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | minor bug |
Resolution | None |
2014-05-27 20:36:30.703000 makarius |
This is jEdit5.2pre1 on Mac OS X (Mavericks) and Java 7u55. |
---|