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.

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

Add PopupResizeHandler class and make menu applet resizable. #11688

Merged
merged 2 commits into from
Jun 6, 2023
Merged

Add PopupResizeHandler class and make menu applet resizable. #11688

merged 2 commits into from
Jun 6, 2023

Conversation

fredcw
Copy link
Contributor

@fredcw fredcw commented Jun 6, 2023

This is a follow up to PR #11665 that just merges the commits.

Add Applet.PopupResizeHandler class to applet to make it resizable.
This adds a class PopupResizeHandler to applet.js to allow applets to be resizable with the mouse.

+ add a global var to dnd.js to enable ungrabbing of pointer as a workaround to issue #11123

When applet can be resized on opposite edges, i.e. when the applet is not in a corner of the workspace, then resizing from either of those edges leads the mouse pointer to not match up with the applet edge. This is a minor visual issue that maybe should be fixed in the future.
@mtwebster mtwebster merged commit 776cc32 into linuxmint:master Jun 6, 2023
@fredcw fredcw deleted the MenuResize-2 branch June 6, 2023 19:17
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.

2 participants