ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 20:05:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: use radio button for APs and launchers

Browse Source
This commit is contained in:
Norman Feske 2019-02-22 14:57:39 +01:00 committed by Christian Helmuth
parent 6110e6561c
commit 852c319399
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/gems/src/app/sculpt_manager/view/network_dialog.cc
View File

@ -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)); });

5
repos/gems/src/app/sculpt_manager/view/popup_dialog.h
View File

@ -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)); });
});