widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

It is still used in the editor info tool which does not want to support panting and therefore disables it on each click. 

@bunnybot merge 

> Am 02.09.2017 um 12:53 schrieb GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>:
> 
> Review: Approve
> 
> Is EditorInteractive::stop_painting() still being used somewhere? If not, it should go too.
> 
> LGTM otherwise :)
> -- 
> https://code.launchpad.net/~widelands-dev/widelands/fix_drag_and_drop_in_editor/+merge/330104
> You proposed lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor for merging.


-- 
https://code.launchpad.net/~widelands-dev/widelands/fix_drag_and_drop_in_editor/+merge/330104
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fix_drag_and_drop_in_editor.