From fa6c7204cd3c590475e24504f3281b750250c808 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 7 Nov 2023 17:27:27 +0100
Subject: [PATCH] dialog: allow custom 'Select_button' attributes

This is useful to conditionally set the style to "unimportant", or to
use text other than the widget Id::Value.

Issue #5008
Issue #5053
---
 repos/gems/include/dialog/widgets.h | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/repos/gems/include/dialog/widgets.h b/repos/gems/include/dialog/widgets.h
index 0f8baa2f1f..0f398ab8fc 100644
--- a/repos/gems/include/dialog/widgets.h
+++ b/repos/gems/include/dialog/widgets.h
@@ -56,7 +56,7 @@ struct Dialog::Select_button : Widget<Button>
 
 	Select_button(ENUM value) : _value(value) { }
 
-	void view(Scope<Button> &s, ENUM selected_value) const
+	void view(Scope<Button> &s, ENUM selected_value, auto const &fn) const
 	{
 		bool const selected = (selected_value == _value),
 		           hovered  = (s.hovered() && !s.dragged() && !selected);
@@ -64,7 +64,13 @@ struct Dialog::Select_button : Widget<Button>
 		if (selected) s.attribute("selected", "yes");
 		if (hovered)  s.attribute("hovered",  "yes");
 
-		s.sub_scope<Dialog::Label>(s.id.value);
+		fn(s);
+	}
+
+	void view(Scope<Button> &s, ENUM selected_value) const
+	{
+		view(s, selected_value, [&] (auto &s) {
+			s.template sub_scope<Dialog::Label>(s.id.value); });
 	}
 
 	template <typename FN>