58 // navigation bar |
58 // navigation bar |
59 |
59 |
60 ui_hbox(obj, .fill = UI_OFF, .margin = 8) { |
60 ui_hbox(obj, .fill = UI_OFF, .margin = 8) { |
61 ui_button(obj, .icon = UI_ICON_GO_BACK, .onclick = action_go_back); |
61 ui_button(obj, .icon = UI_ICON_GO_BACK, .onclick = action_go_back); |
62 ui_button(obj, .icon = UI_ICON_GO_FORWARD, .onclick = action_go_forward); |
62 ui_button(obj, .icon = UI_ICON_GO_FORWARD, .onclick = action_go_forward); |
|
63 |
|
64 ui_label(obj, .label = " "); // replace when we have a ui_space widget |
63 |
65 |
64 ui_path_textfield(obj, .fill = UI_ON, .getpathelm = dav_get_pathelm, .onactivate = action_path_selected, .varname = "path"); |
66 ui_path_textfield(obj, .fill = UI_ON, .getpathelm = dav_get_pathelm, .onactivate = action_path_selected, .varname = "path"); |
65 |
67 |
66 ui_progressspinner(obj, .value = wdata->progress); |
68 ui_progressspinner(obj, .value = wdata->progress); |
67 } |
69 } |