Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Some menu items disappears #178

Open
PerMildner opened this issue Apr 26, 2023 · 2 comments
Open

Some menu items disappears #178

PerMildner opened this issue Apr 26, 2023 · 2 comments

Comments

@PerMildner
Copy link

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
@cyderize
Copy link
Member

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

@PerMildner
Copy link
Author

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)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@PerMildner @cyderize