Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

Zooming by mouse wheel is slow #304

Closed
andreasmuelder opened this issue Jan 15, 2016 · 4 comments
Closed

Zooming by mouse wheel is slow #304

andreasmuelder opened this issue Jan 15, 2016 · 4 comments
Assignees
@andreasmuelder
Labels
Comp-Graphical Editor Survey
Milestone
M23 - Generators ...

Comments

@andreasmuelder
Copy link
Member

Report via Survey: Zooming via mouse wheel is very slow because of the animation.
@andreasmuelder andreasmuelder self-assigned this Jan 15, 2016
@andreasmuelder andreasmuelder added this to the Inbox milestone Jan 15, 2016
@stmork
Copy link

stmork commented Jan 15, 2016

+1 With Linux the zooming with CTRL + mouse wheel is unusable.

andreasmuelder added a commit that referenced this issue Jan 16, 2016
@andreasmuelder
Zooming by mouse wheel is slow #304
1be3df9
@andreasmuelder
Copy link
Member Author

Fixed with 1be3df9

@andreasmuelder
Copy link
Member Author

@RainerKlute can you test this with Linux ?

andreasmuelder added a commit that referenced this issue Jan 16, 2016
@andreasmuelder
Merge pull request #307 from Yakindu/issue_304
3ea638f 
Zooming by mouse wheel is slow #304
@RainerKlute
Copy link
Contributor

Zooming on Linux is fast.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@andreasmuelder andreasmuelder

Labels
Comp-Graphical Editor Survey
Projects
None yet
Milestone
M23 - Generators & Domains
Development

No branches or pull requests
4 participants
@stmork @terfloth @RainerKlute @andreasmuelder