Some menu items disappears

Open PerMildner opened this issue 2 years ago • 2 comments

Sometimes some menus disappears. See screenshot.

Their keyboard shortcuts, like CMD-K in the View menu, stops working so they seem to be disabled rather than just invisible.

MiniZinc IDE 2.7.2 (but this is not a new problem), macOS 13.3.1, Intel. Two external displays, MiniZinc IDE on one of the external displays. Screenshot 2023-04-26 at 11 52 42

Apr 26 '23 09:04 PerMildner

I haven't been able to reproduce this so far - do you have any steps that would allow me to reproduce this consistently?

May 31 '23 04:05 cyderize

I have not seen any obvious pattern.

(possibly related: the IDE often comes in a state when it cannot be quit, perhaps it just inactivated the Quit menu choice, similar to what it does when the Coursera submission dialog is active)

May 31 '23 09:05 PerMildner