From c59851b49063873fe47fbd2fbdbfa6de6a8586c5 Mon Sep 17 00:00:00 2001 From: zvon Date: Fri, 24 Jun 2022 21:51:47 +0200 Subject: [PATCH] Ensure arrows are enabled/disabled even when moving tools with wsad --- mario/editor.cpp | 116 ++++++++++++++++++++++++----------------------- 1 file changed, 60 insertions(+), 56 deletions(-) diff --git a/mario/editor.cpp b/mario/editor.cpp index 8cb56cd..5ca1718 100644 --- a/mario/editor.cpp +++ b/mario/editor.cpp @@ -76,6 +76,12 @@ struct ToolInfo { int max_page_mods; int cur_page_characters; int max_page_characters; + std::shared_ptr