From 400430c176ab36e9bf0ae51a4246d38522318f82 Mon Sep 17 00:00:00 2001 From: griffi-gh Date: Wed, 16 Oct 2024 11:02:32 +0200 Subject: [PATCH] fadeout undo button if nothing to undo --- src/src/game-gui.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/src/game-gui.cc b/src/src/game-gui.cc index 4509f6fe..2bfc829d 100644 --- a/src/src/game-gui.cc +++ b/src/src/game-gui.cc @@ -2396,6 +2396,7 @@ game::refresh_widgets() } this->wdg_undo->add(); // XXX griffi-gh: Is this the right place? + this->wdg_undo->faded = undo.amount() == 0; } if ((this->state.sandbox || this->state.test_playing || W->is_paused() || W->is_puzzle()) && (W->level.type != LCAT_ADVENTURE || W->is_paused())) {