8.19.43. Toggles

The toggle widgets are pick-this-not-that input — three shapes, one mental model. Click flips state; imgui_force_set writes it from outside. The three forms differ in glyph and in whether they share state across call sites:

checkbox(IDENT, (text = ".."))                   // single bool, square glyph
radio_button(IDENT, (text = ".."))               // single bool, circle glyph
radio_button_int(IDENT, (text = "..",            // N sites share ONE state;
                         v_button = N))          //   click writes state.value = v_button

Source: modules/dasImgui/examples/tutorial/toggles.das.

8.19.43.1. Walkthrough

options gen2
options _comment_hygiene = true
options gc

require math
require imgui
require imgui_app
require opengl/opengl_boost
require live/glfw_live
require live/live_api
require live/live_commands
require live/live_vars
require live_host
require imgui/imgui_live
require imgui/imgui_boost_runtime
require imgui/imgui_boost_v2
require imgui/imgui_widgets_builtin
require imgui/imgui_containers_builtin
require imgui/imgui_visual_aids

// =============================================================================
// TUTORIAL: toggles — three forms of pick-this-not-that input.
//
//   checkbox(IDENT, (text = "..."))           — single bool, click flips.
//   radio_button(IDENT, (text = "..."))       — single bool, circle-rendered.
//                                                Same ToggleState as checkbox;
//                                                difference is purely visual.
//   radio_button_int(IDENT, (text = "...",    — N call sites SHARE one
//                            v_button = N))     RadioIntState. Click writes
//                                                state.value = v_button — the
//                                                canonical "pick one of N".
//
// All three accept imgui_force_set: checkbox / radio_button take bool, radio_button_int
// takes int (the v_button to select).
//
// STANDALONE: daslang.exe modules/dasImgui/examples/tutorial/toggles.das
// LIVE:       daslang-live modules/dasImgui/examples/tutorial/toggles.das
//
// DRIVE (when running live):
//   curl -X POST -d '{"name":"imgui_force_set","args":{"target":"TG_WIN/T_CHECK","value":true}}' \
//        localhost:9090/command
//   curl -X POST -d '{"name":"imgui_force_set","args":{"target":"TG_WIN/T_MODE","value":2}}' \
//        localhost:9090/command
// =============================================================================

[export]
def init() {
    live_create_window("dasImgui toggles tutorial", 760, 560)
    live_imgui_init(live_window)
    let io & = unsafe(GetIO())
    GetStyle().FontScaleMain = 1.4
}

let MODE_LABELS = fixed_array("Off", "Manual", "Auto")

[export]
def update() {
    if (!live_begin_frame()) return
    begin_frame()

    ImGui_ImplGlfw_NewFrame()
    apply_synth_io_override()
    NewFrame()

    SetNextWindowPos(ImVec2(20.0f, 20.0f), ImGuiCond.Always)
    SetNextWindowSize(ImVec2(720.0f, 520.0f), ImGuiCond.Always)
    window(TG_WIN, (text = "toggles tutorial", closable = false,
                    flags = ImGuiWindowFlags.None)) {

        text("Three shapes of pick-this-not-that.")
        text(T_HINT, (text = "checkbox + radio_button share ToggleState. radio_button_int is the grouped form."))
        separator()

        // ---- Stage 1: checkbox — single bool, square widget ----
        checkbox(T_CHECK, (text = "Enabled"))
        text("T_CHECK.value = {T_CHECK.value}")
        spacing()

        // ---- Stage 2: radio_button (bool form) — circle-rendered checkbox ----
        radio_button(T_RADIO_BOOL, (text = "Subscribe"))
        text("T_RADIO_BOOL.value = {T_RADIO_BOOL.value}  // same ToggleState as checkbox")
        spacing()

        // ---- Stage 3: radio_button_int — three sites, ONE shared state ----
        text("Operation mode:")
        radio_button_int(T_MODE, (text = "Off",    v_button = 0)); same_line(T_SL1)
        radio_button_int(T_MODE, (text = "Manual", v_button = 1)); same_line(T_SL2)
        radio_button_int(T_MODE, (text = "Auto",   v_button = 2))
        text("T_MODE.value = {T_MODE.value} ('{MODE_LABELS[clamp(T_MODE.value, 0, 2)]}')")
    }

    end_of_frame()
    Render()
    var w, h : int
    live_get_framebuffer_size(w, h)
    glViewport(0, 0, w, h)
    glClearColor(0.10f, 0.10f, 0.12f, 1.0f)
    glClear(GL_COLOR_BUFFER_BIT)
    live_imgui_render()

    live_end_frame()
}

[export]
def shutdown() {
    live_imgui_shutdown()
    live_destroy_window()
}

[export]
def main() {
    init()
    while (!exit_requested()) {
        update()
        maybe_collect_gc()
    }
    shutdown()
}

8.19.43.1.1. Requires

Already in the baseline boost layer:

imgui/imgui_widgets_builtin — checkbox / radio_button / radio_button_int rails.
imgui/imgui_boost_runtime — ToggleState (checkbox + bool radio) and RadioIntState (grouped radio).

8.19.43.1.2. checkbox vs radio_button (bool form)

checkbox and radio_button are the same widget under different glyphs. Both take ToggleState; click flips state.value. The only difference is the rendering — square check mark vs filled circle. Pick by visual fit, not by semantics.

checkbox(ENABLED, (text = "Enabled"))      // [x] Enabled
radio_button(SUBSCRIBE, (text = "Sub"))    // (•) Sub

Two checkboxes are mutually independent. Two radio_button calls with different state idents are also mutually independent — they only look like a radio group. If you want one-of-N exclusivity, use radio_button_int.

8.19.43.1.3. radio_button_int — grouped, mutually exclusive

The grouped form is the canonical “pick one of N.” Multiple call sites share one RadioIntState; each call passes its own v_button integer. Clicking a row writes state.value = v_button — the other rows light off automatically because they re-check whether state.value == their_v_button each frame.

radio_button_int(MODE, (text = "Off",    v_button = 0)); same_line(SL_1)
radio_button_int(MODE, (text = "Manual", v_button = 1)); same_line(SL_2)
radio_button_int(MODE, (text = "Auto",   v_button = 2))
// MODE.value is 0 / 1 / 2 — exactly one selected.

same_line between rows lays them horizontally. Stack vertically without it.

Because the rows share one ident (hence one snapshot path), each row also registers a per-site geometry alias <path>#<v_button> — e.g. TG_WIN/T_MODE#0 / #1 / #2. Use these to click or test one specific option (imgui_click resolves an alias to that row’s bbox); the shared value still lives at the bare TG_WIN/T_MODE.

8.19.43.1.4. Driving from outside

Same telemetry channel as every other widget — imgui_force_set writes state.pending_value, consumed next frame:

# checkbox / bool radio — bool value
curl -X POST -d '{"name":"imgui_force_set","args":{"target":"TG_WIN/T_CHECK","value":true}}' \
     localhost:9090/command
# grouped radio — int value (the v_button to select)
curl -X POST -d '{"name":"imgui_force_set","args":{"target":"TG_WIN/T_MODE","value":2}}' \
     localhost:9090/command

The dispatcher ([widget_dispatch] on ToggleState and RadioIntState) parses the right JSON shape per state type.

8.19.43.1.5. Caller-owned variants

For sites where the value already lives on an external bool (not a widget state struct), use the edit_* rails — they take a bool? pointer via safe_addr (require daslib/safe_addr) and skip the state-struct allocation:

var g_enabled : bool = false
edit_checkbox(safe_addr(g_enabled), (id = "EN", text = "Enabled"))

var g_subscribed : bool = false
edit_radio_button(safe_addr(g_subscribed), (id = "SUB", text = "Sub"))

Only the bool forms have caller-owned rails: edit_checkbox and edit_radio_button. There is no edit_radio_button_int — the grouped one-of-N form needs the shared RadioIntState that carries the group’s selected value, so declare a RadioIntState ident and use radio_button_int.

See External-pointer editing rail.