58 lines
3.0 KiB
Plaintext
58 lines
3.0 KiB
Plaintext
// auto-generated by elc --emit-header — do not edit
|
|
extern fn native_init() -> Void
|
|
extern fn native_run_loop() -> Void
|
|
extern fn manifest_read(path: String) -> String
|
|
extern fn manifest_title(m: String) -> String
|
|
extern fn manifest_width(m: String) -> Int
|
|
extern fn manifest_height(m: String) -> Int
|
|
extern fn manifest_min_width(m: String) -> Int
|
|
extern fn manifest_min_height(m: String) -> Int
|
|
extern fn window_create(title: String, width: Int, height: Int, min_width: Int, min_height: Int) -> Int
|
|
extern fn window_from_manifest(manifest_path: String) -> Int
|
|
extern fn window_show(handle: Int) -> Void
|
|
extern fn window_set_title(handle: Int, title: String) -> Void
|
|
extern fn vstack(spacing: Int) -> Int
|
|
extern fn vstack_tight() -> Int
|
|
extern fn hstack(spacing: Int) -> Int
|
|
extern fn zstack() -> Int
|
|
extern fn scroll() -> Int
|
|
extern fn label(text: String) -> Int
|
|
extern fn button(label: String) -> Int
|
|
extern fn text_field(placeholder: String) -> Int
|
|
extern fn text_area(placeholder: String) -> Int
|
|
extern fn image(path_or_name: String) -> Int
|
|
extern fn widget_set_text(handle: Int, text: String) -> Void
|
|
extern fn widget_get_text(handle: Int) -> String
|
|
extern fn widget_set_color(handle: Int, r: Float, g: Float, b: Float, a: Float) -> Void
|
|
extern fn widget_set_bg_color(handle: Int, r: Float, g: Float, b: Float, a: Float) -> Void
|
|
extern fn widget_set_font(handle: Int, family: String, size: Int, bold: Bool) -> Void
|
|
extern fn widget_set_padding(handle: Int, top: Int, right: Int, bottom: Int, left: Int) -> Void
|
|
extern fn widget_set_padding_all(handle: Int, p: Int) -> Void
|
|
extern fn widget_set_padding_xy(handle: Int, px: Int, py: Int) -> Void
|
|
extern fn widget_set_width(handle: Int, width: Int) -> Void
|
|
extern fn widget_set_height(handle: Int, height: Int) -> Void
|
|
extern fn widget_set_flex(handle: Int, flex: Int) -> Void
|
|
extern fn widget_set_corner_radius(handle: Int, radius: Int) -> Void
|
|
extern fn widget_set_disabled(handle: Int, disabled: Bool) -> Void
|
|
extern fn widget_set_hidden(handle: Int, hidden: Bool) -> Void
|
|
extern fn widget_add_child(parent: Int, child: Int) -> Void
|
|
extern fn widget_remove_child(parent: Int, child: Int) -> Void
|
|
extern fn widget_destroy(handle: Int) -> Void
|
|
extern fn widget_on_click(handle: Int, fn_name: String) -> Void
|
|
extern fn widget_on_change(handle: Int, fn_name: String) -> Void
|
|
extern fn widget_on_submit(handle: Int, fn_name: String) -> Void
|
|
extern fn widget_set_data(handle: Int, data: String) -> Void
|
|
extern fn hex_channel(s: String, offset: Int) -> Int
|
|
extern fn hex_nibble(c: String) -> Int
|
|
extern fn color_hex_r(hex: String) -> Float
|
|
extern fn color_hex_g(hex: String) -> Float
|
|
extern fn color_hex_b(hex: String) -> Float
|
|
extern fn color_hex_a(hex: String) -> Float
|
|
extern fn widget_set_color_hex(handle: Int, hex: String) -> Void
|
|
extern fn widget_set_bg_color_hex(handle: Int, hex: String) -> Void
|
|
extern fn style_surface(handle: Int) -> Void
|
|
extern fn style_button_primary(handle: Int) -> Void
|
|
extern fn style_label_body(handle: Int) -> Void
|
|
extern fn style_label_heading(handle: Int) -> Void
|
|
extern fn style_label_muted(handle: Int) -> Void
|