Skip to content

update#8

Merged
JAicewizard merged 27 commits intoJAicewizard:masterfrom
linebender:master
Nov 4, 2020
Merged

update#8
JAicewizard merged 27 commits intoJAicewizard:masterfrom
linebender:master

Conversation

@JAicewizard
Copy link
Owner

No description provided.

raphlinus and others added 27 commits October 21, 2020 13:18
If an application were to misuse a platform-specific for the wrong
platform, it would get unusable keybindings. With this patch, it might
not be the most appropriate for the platform, but it would work.

The linked bug below suggests a more systematic approach, but this is a
minimal patch to get things to a less broken state.

Part of work tracked in #1306.
This is the same is the current behaviour for macOS.

- closes #1342
Make platform-specific menus more portable
Also removes obsolete compatibility shims, since no platforms need the sync methods.
Propagate events to hidden widgets in `Either`
@JAicewizard JAicewizard merged commit 010f574 into JAicewizard:master Nov 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

10 participants