ui_header_ext.ts 705 B

12345678910111213141516171819202122232425
  1. function ui_header_draw_tool_properties(ui: ui_t) {
  2. if (context_raw.tool == workspace_tool_t.GIZMO) {
  3. if (!sim_running && ui_button("Play")) {
  4. sim_play();
  5. context_raw.selected_object = scene_camera.base;
  6. }
  7. if (sim_running && ui_button("Stop")) {
  8. sim_stop();
  9. }
  10. let h_record: ui_handle_t = ui_handle(__ID__);
  11. sim_record = ui_check(h_record, tr("Record"));
  12. }
  13. else if (context_raw.tool == workspace_tool_t.FILL) {
  14. let brush_scale_handle: ui_handle_t = ui_handle(__ID__);
  15. if (brush_scale_handle.init) {
  16. brush_scale_handle.value = context_raw.brush_scale;
  17. }
  18. context_raw.brush_scale = ui_slider(brush_scale_handle, tr("UV Scale"), 0.01, 5.0, true);
  19. }
  20. }