Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T35

Isabelle/jEdit full-screen problem with macOS Big Sur
Closed, ResolvedPublic
Actions

Description

On Big Sur the native full-screen button works for the main jEdit view, but not for derived dialogs (e.g. search, hyper-search results).

See also https://bugs.openjdk.java.net/browse/JDK-8256465 (still unresolved).

Related Objects

Event Timeline

makarius triaged this task as High priority.Jan 7 2021, 1:48 PM
makarius created this task.
makarius moved this task from Backlog to TODO on the isabelle-release board.
makarius added a comment.Jan 7 2021, 1:51 PM

It is unclear how to address this properly, without an update by Apple or OpenJDK (not to be expected too soon).

As intermediate solution, the soft jEdit full-screen action has been improved slightly in Isabelle/d77bb4441250.

makarius mentioned this in T33: Update to jdk-11.0.10, notably for macOS Big Sur.Jan 7 2021, 2:02 PM
makarius lowered the priority of this task from High to Normal.Jan 10 2021, 4:03 PM

Works better with work-around, as documented in Isabelle/6345ad861a36.

makarius added a comment.Jan 18 2021, 2:48 PM

See also https://issues.apache.org/jira/browse/NETBEANS-5037

makarius added a comment.Jan 18 2021, 3:25 PM

See also https://youtrack.jetbrains.com/issue/IDEA-245026 especially the screenshot https://youtrack.jetbrains.com/api/files/74-974262?sign=MTYxMTIzODgwMDAwMHwxMS0xfDc0LTk3NDI2MnxfU3Bhekt2c3Y1QW5nUEdiajllTTdZMV9TUkg1%0D%0AcHRJOUwzcUh2aHRjNzNFDQo%0D%0A&updated=1607579744434

makarius closed this task as Resolved.Jan 18 2021, 7:44 PM
makarius claimed this task.

See Isabelle/96d87b9c2b42: https://isabelle.sketis.net/repos/isabelle-release/rev/96d87b9c2b42