From 852c319399f81b5d0930fd2f0735feaae7986a81 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 22 Feb 2019 14:57:39 +0100 Subject: [PATCH] sculpt: use radio button for APs and launchers --- repos/gems/src/app/sculpt_manager/view/network_dialog.cc | 5 +++-- repos/gems/src/app/sculpt_manager/view/popup_dialog.h | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/repos/gems/src/app/sculpt_manager/view/network_dialog.cc b/repos/gems/src/app/sculpt_manager/view/network_dialog.cc index 09779fad17..cf368a2083 100644 --- a/repos/gems/src/app/sculpt_manager/view/network_dialog.cc +++ b/repos/gems/src/app/sculpt_manager/view/network_dialog.cc @@ -27,14 +27,15 @@ void Sculpt::Network_dialog::_gen_access_point(Xml_generator &xml, xml.node("hbox", [&] () { gen_named_node(xml, "button", "button", [&] () { + xml.attribute("style", "radio"); if (_wifi_connection.connected()) xml.attribute("selected", "yes"); else _ap_item.gen_button_attr(xml, ap.bssid); - xml.node("label", [&] () { - xml.attribute("text", " "); }); }); + xml.node("hbox", [&] () { }); + }); gen_named_node(xml, "label", "ssid", [&] () { xml.attribute("text", String<20>(" ", ap.ssid)); }); diff --git a/repos/gems/src/app/sculpt_manager/view/popup_dialog.h b/repos/gems/src/app/sculpt_manager/view/popup_dialog.h index 69268fbda4..a3089fe4e0 100644 --- a/repos/gems/src/app/sculpt_manager/view/popup_dialog.h +++ b/repos/gems/src/app/sculpt_manager/view/popup_dialog.h @@ -76,9 +76,10 @@ struct Sculpt::Popup_dialog xml.node("hbox", [&] () { gen_named_node(xml, "button", "button", [&] () { + xml.attribute("style", "radio"); _item.gen_button_attr(xml, info.path); - xml.node("label", [&] () { - xml.attribute("text", " "); }); }); + xml.node("hbox", [&] () { }); + }); gen_named_node(xml, "label", "name", [&] () { xml.attribute("text", Path(" ", info.path)); }); });