Yes. We had exactly that originally. Then someone changed it to be a rolling map - which is indeed better for in game, but not for the editor.
> Am 17.12.2014 um 07:46 schrieb GunChleoc <email address hidden>:
>
> This might make it difficult to find whereon the map one is currently
> editing - maybe add a red rectangle to the minimap to show the current
> viewport? Just like a navigator in an image editing software would look
> like.
>
> --
> You received this bug notification because you are subscribed to
> widelands.
> https://bugs.launchpad.net/bugs/1402786
>
> Title:
> "Set origin" should be in the tools menu
>
> Status in Widelands:
> Confirmed
>
> Bug description:
> The option to change the origin of a map is currently a bit hidden: You have to go to menu -> map options -> set origin. I think it would make more sense to have this option available in the tools menu.
> Its appearance which is different from the other tools (it looks like a button) has caused some confustion (see https://wl.widelands.org/forum/topic/1616/). I think when it looks like the other tools and is in the same menu, it is clear how to sue it.
>
> Just a reference: In bug 536550, this tool has been introduced, and it
> was put into the option menu without a mentioned reason.
>
> To manage notifications about this bug go to:
> https://bugs.launchpad.net/widelands/+bug/1402786/+subscriptions
Yes. We had exactly that originally. Then someone changed it to be a rolling map - which is indeed better for in game, but not for the editor.
> Am 17.12.2014 um 07:46 schrieb GunChleoc <email address hidden>: /bugs.launchpad .net/bugs/ 1402786 /wl.widelands. org/forum/ topic/1616/). I think when it looks like the other tools and is in the same menu, it is clear how to sue it. /bugs.launchpad .net/widelands/ +bug/1402786/ +subscriptions
>
> This might make it difficult to find whereon the map one is currently
> editing - maybe add a red rectangle to the minimap to show the current
> viewport? Just like a navigator in an image editing software would look
> like.
>
> --
> You received this bug notification because you are subscribed to
> widelands.
> https:/
>
> Title:
> "Set origin" should be in the tools menu
>
> Status in Widelands:
> Confirmed
>
> Bug description:
> The option to change the origin of a map is currently a bit hidden: You have to go to menu -> map options -> set origin. I think it would make more sense to have this option available in the tools menu.
> Its appearance which is different from the other tools (it looks like a button) has caused some confustion (see https:/
>
> Just a reference: In bug 536550, this tool has been introduced, and it
> was put into the option menu without a mentioned reason.
>
> To manage notifications about this bug go to:
> https:/