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

File manager - Properties #1137

Closed
Sopor opened this issue May 7, 2018 · 2 comments
Closed

File manager - Properties #1137

Sopor opened this issue May 7, 2018 · 2 comments

Comments

@Sopor
Copy link
Contributor

Sopor commented May 7, 2018

When using properties it is a bit tricky to use the additional menu because if i'm not very precisely with the mouse it will close the menu and i have to go back to properties and try again.

image

@iliajie
Copy link
Collaborator

iliajie commented May 7, 2018

Yes, correct. I'll fix it.

I was actually trying to make context sub-menus to be more forgiving for inaccurate mouse movements but I couldn't easely make it work. I will try to do it for all menus in the future.

This particular issue should be very easy to fix. I'll do it a bit later.

@iliajie
Copy link
Collaborator

iliajie commented May 12, 2018

Will be fixed in 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

No branches or pull requests

2 participants