Zooming is difficult in editor

Bug #1714808 reported by Benedikt Straub
6
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

Revision history for this message
SirVer (sirver) wrote : Re: [Bug 1714808] [NEW] Zooming is difficult in editor

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>:
>
> 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://bugs.launchpad.net/bugs/1714808
>
> 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://bugs.launchpad.net/widelands/+bug/1714808/+subscriptions

Revision history for this message
Benedikt Straub (nordfriese) wrote :

I´m using bzr8445, debug build, on Ubuntu 17.04. In-game everything is fine, only the editor is affected.
When I first got this, it looked like my mouse was failing, but as I always get this in the Widelands editor and never anywhere else, I´m sure it is a bug.

Revision history for this message
kaputtnik (franku) wrote :

Zooming with mouse wheel does not work for me if a window is open.

1. Start editor
2. Open Tools window

Scrolling with mouse wheel does not work anymore.

Changed in widelands:
status: New → Confirmed
Revision history for this message
kaputtnik (franku) wrote :

Forgot: This is Widelands Version bzr8443[trunk] (Debug)

Revision history for this message
kaputtnik (franku) wrote :

Sorry, meant zooming instead of scrolling in #3

Revision history for this message
SirVer (sirver) wrote :

Actually I can also repro in game. Will have a look.

Changed in widelands:
importance: Undecided → Critical
assignee: nobody → SirVer (sirver)
milestone: none → build20-rc1
SirVer (sirver)
Changed in widelands:
status: Confirmed → In Progress
SirVer (sirver)
Changed in widelands:
status: In Progress → Fix Committed
assignee: SirVer (sirver) → nobody
Revision history for this message
GunChleoc (gunchleoc) wrote :

Fixed in build20-rc1

Changed in widelands:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.