Zooming is difficult in editor
Bug #1714808 reported by
Benedikt Straub
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
widelands |
Fix Released
|
Critical
|
Unassigned |
Bug Description
In the editor, using the mouse wheel to zoom doesn´t always work. Sometimes the map is zoomed normally while moving the wheel, sometimes the wheel movement is ignored.
The hotkeys (Ctrl +/-/0) work normally.
Related branches
lp:~widelands-dev/widelands/fix_ui_bugs
- kaputtnik (community): Approve (testing)
- GunChleoc: Approve
-
Diff: 80 lines (+13/-6)4 files modifiedsrc/ui_basic/panel.cc (+0/-5)
src/ui_basic/window.cc (+6/-0)
src/ui_basic/window.h (+1/-0)
src/wui/mapview.cc (+6/-1)
Changed in widelands: | |
status: | Confirmed → In Progress |
Changed in widelands: | |
status: | In Progress → Fix Committed |
assignee: | SirVer (sirver) → nobody |
To post a comment you must log in.
Cannot reproduce. Which bzr revision is this? Which os? I guess it works fine in the game for you?
> Am 03.09.2017 um 19:47 schrieb Benedikt Straub <email address hidden>: /bugs.launchpad .net/bugs/ 1714808 /bugs.launchpad .net/widelands/ +bug/1714808/ +subscriptions
>
> Public bug reported:
>
> In the editor, using the mouse wheel to zoom doesn´t always work. Sometimes the map is zoomed normally while moving the wheel, sometimes the wheel movement is ignored.
> The hotkeys (Ctrl +/-/0) work normally.
>
> ** Affects: widelands
> Importance: Undecided
> Status: New
>
> --
> You received this bug notification because you are subscribed to
> widelands.
> https:/
>
> Title:
> Zooming is difficult in editor
>
> Status in widelands:
> New
>
> Bug description:
> In the editor, using the mouse wheel to zoom doesn´t always work. Sometimes the map is zoomed normally while moving the wheel, sometimes the wheel movement is ignored.
> The hotkeys (Ctrl +/-/0) work normally.
>
> To manage notifications about this bug go to:
> https:/