Enum MjuiDefType 

pub enum MjuiDefType {
    Check {
        modifier: String,
    },
    Radio {
        values: String,
    },
    Select {
        values: String,
    },
    Slider {
        range: (f64, f64),
    },
    Edit {
        range: (f64, f64),
        n_dimensions: usize,
        type_: MjuiDefDataType,
    },
    Button {
        modifier: String,
    },
    End,
}

Widget specific configuration for the MjuiDef

Variants

Check

Fields

modifier: String

Radio

Fields

values: String

Select

Fields

values: String

Slider

Fields

range: (f64, f64)

Edit

Fields

range: (f64, f64)

n_dimensions: usize

type_: MjuiDefDataType

Button

Fields

modifier: String

End