2024-03-14 15:31:22 +01:00
|
|
|
|
2024-09-03 15:52:05 +02:00
|
|
|
function tab_plugins_draw(htab: ui_handle_t) {
|
|
|
|
|
let ui: ui_t = ui_base_ui;
|
|
|
|
|
if (ui_tab(htab, tr("Plugins"))) {
|
2024-03-14 15:31:22 +01:00
|
|
|
|
2024-09-03 15:52:05 +02:00
|
|
|
ui_begin_sticky();
|
2024-03-14 15:31:22 +01:00
|
|
|
|
|
|
|
|
///if (is_paint || is_sculpt)
|
2024-04-25 22:04:43 +02:00
|
|
|
let row: f32[] = [1 / 4];
|
2024-09-03 15:52:05 +02:00
|
|
|
ui_row(row);
|
2024-03-14 15:31:22 +01:00
|
|
|
///end
|
|
|
|
|
///if is_lab
|
2024-04-25 22:04:43 +02:00
|
|
|
let row: f32[] = [1 / 14];
|
2024-09-03 15:52:05 +02:00
|
|
|
ui_row(row);
|
2024-03-14 15:31:22 +01:00
|
|
|
///end
|
|
|
|
|
|
2024-09-03 15:52:05 +02:00
|
|
|
if (ui_button(tr("Manager"))) {
|
2024-03-14 15:31:22 +01:00
|
|
|
box_preferences_htab.position = 6; // Plugins
|
|
|
|
|
box_preferences_show();
|
|
|
|
|
}
|
2024-09-03 15:52:05 +02:00
|
|
|
ui_end_sticky();
|
2024-03-14 15:31:22 +01:00
|
|
|
|
|
|
|
|
// Draw plugins
|
2024-04-12 12:51:40 +02:00
|
|
|
let keys: string[] = map_keys(plugin_map);
|
|
|
|
|
for (let i: i32 = 0; i < keys.length; ++i) {
|
|
|
|
|
let p: plugin_t = map_get(plugin_map, keys[i]);
|
2024-08-07 22:48:08 +02:00
|
|
|
if (p.on_ui != null) {
|
|
|
|
|
js_call(p.on_ui);
|
2024-03-20 16:13:54 +01:00
|
|
|
}
|
|
|
|
|
}
|
2024-03-14 15:31:22 +01:00
|
|
|
}
|
|
|
|
|
}
|