tab_plugins.ts 652 B

1234567891011121314151617181920212223242526272829303132
  1. function tab_plugins_draw(htab: zui_handle_t) {
  2. let ui: zui_t = ui_base_ui;
  3. if (zui_tab(htab, tr("Plugins"))) {
  4. zui_begin_sticky();
  5. ///if (is_paint || is_sculpt)
  6. let row: f32[] = [1 / 4];
  7. zui_row(row);
  8. ///end
  9. ///if is_lab
  10. let row: f32[] = [1 / 14];
  11. zui_row(row);
  12. ///end
  13. if (zui_button(tr("Manager"))) {
  14. box_preferences_htab.position = 6; // Plugins
  15. box_preferences_show();
  16. }
  17. zui_end_sticky();
  18. // Draw plugins
  19. let keys: string[] = map_keys(plugin_map);
  20. for (let i: i32 = 0; i < keys.length; ++i) {
  21. let p: plugin_t = map_get(plugin_map, keys[i]);
  22. if (p.draw_ui != null) {
  23. p.draw_ui(ui);
  24. }
  25. }
  26. }
  27. }