Module re_time_panel::time_selection_ui

Functions

• drag_left_loop_selection_edge 🔒
• drag_right_loop_selection_edge 🔒
• format_duration 🔒
  Human-readable description of a duration
• initial_time_selection 🔒
• loop_selection_ui
• on_drag_loop_selection 🔒
• paint_range_text 🔒