Implement imgui animation progress bar

  Draw an interactive progress bar at the bottom of the view during
  playback. Click or drag it to jump to a point in time.

  --animation-progress becomes a mode string instead of a flag: none,
  default (the bar alone), or advanced (adds time range, animation name,
  current time, keyframe markers and a hover tooltip).

  Seeking is backed by a new jump_to_time command (time in seconds plus a
  relative flag), wired through the ImGui actor, renderer and animation
  manager so the bar tracks playback.

Author: exbluesbreaker

application/F3DStarter.cxx

@@ -1917,7 +1917,7 @@ void F3DStarter::SaveScreenshot(const std::string& filenameTemplate, bool minima
     options.ui.filename = false;
     options.ui.fps = false;
     options.ui.metadata = false;
-    options.ui.animation_progress = false;
+    options.ui.animation_progress = "none";
     options.ui.axis = false;
     options.render.grid.enable = false;
     noBackground = true;

doc/libf3d/03-OPTIONS.md

@@ -559,11 +559,14 @@ CLI: `--loading-progress`.
 
 Set loader progress bar color.
 
-### `ui.animation_progress` (_bool_, default: `false`, **on load**)
+### `ui.animation_progress` (_string_, default: `none`, **on load**)
 
-Show a _progress bar_ when playing the animation.
+Control the _progress bar_ shown when playing the animation. Can be `none` (hidden),
+`default` (only the progress bar, which can be clicked or dragged to jump to a
+time) or `advanced` (the progress bar plus time range, animation name and current
+time labels, with a marker for each keyframe).
 
-CLI: `--animation-progress`.
+CLI: `--animation-progress`. A bare `--animation-progress` implies `default`.
 
 ### `ui.animation_progress_color` (_color_, default: `f3d_blue`)
 

doc/user/05-ANIMATIONS.md

@@ -20,7 +20,7 @@ Press <kbd>W</kbd> to cycle through available animations
 
 <img width="1024" alt="4" src="https://media.githubusercontent.com/media/f3d-app/f3d-website/refs/heads/main/docs/user/animation_3.png" />
 Press <kbd>space</kbd> to play/pause current animation.
-Note: A blue bar runs along the bottom of screen to indicate the current time interval of the animation sequence if animation-progress was turned on.
+Note: A blue bar runs along the bottom of screen to indicate the current time interval of the animation sequence if `--animation-progress` is set to `default` or `advanced`. The `advanced` mode additionally shows the time range, animation name and current time, and marks each keyframe with a vertical line on the bar; both modes let you click or drag the bar to jump to a given time. While hovering the `advanced` bar near a keyframe marker, the tooltip reports that keyframe's time.
 
 <img width="1024" alt="5" src="https://media.githubusercontent.com/media/f3d-app/f3d-website/refs/heads/main/docs/user/animation_4.png" />
 "All Animations" will play all animations at the same time if supported by the file format.
@@ -67,7 +67,7 @@ See [Filename templating](03-OPTIONS.md#filename-templating) for more template v
 - Press <kbd>Space</kbd> to play/pause animation
 - Press <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Space</kbd> to play/pause animation backward
 
-See [COMMANDS](07-COMMANDS.md) for commands like `jump_to_frame`
+See [COMMANDS](07-COMMANDS.md) for commands like `jump_to_frame` and `jump_to_time`
 
 ## Cycling Animations
 

doc/user/07-COMMANDS.md

@@ -86,6 +86,16 @@ eg:
 - `jump_to_frame -1 false` jump to last frame.
 - `jump_to_frame -2 false` jump to second last frame.
 
+`jump_to_time`: A specific command to load an animation at a specific time, takes a number (in seconds) and a boolean as arguments.
+When relative is false, a negative time is counted from the end of the animation.
+When relative is true, the time is added to the current animation time.
+eg:
+
+- `jump_to_time 2.5 false` jump to time 2.5 seconds.
+- `jump_to_time -1.5 false` jump to 1.5 seconds before the end.
+- `jump_to_time 0.5 true` jump 0.5 seconds forward.
+- `jump_to_time -0.5 true` jump 0.5 seconds backward.
+
 `jump_to_keyframe`: A specific command to load an animation at a specific keyframe, takes a number and a boolean as arguments.
 When jumping between keyframes, the target keyframe index is adjusted to stay within the total number of available keyframes, avoiding invalid keyframe access.
 eg:

examples/libf3d/c/interactive-app/main.c

@@ -44,7 +44,7 @@ int main(int argc, char** argv)
   f3d_options_set_as_bool(options, "render.show_edges", 1);
   f3d_options_set_as_bool(options, "ui.axis", 1);
   f3d_options_set_as_bool(options, "ui.fps", 1);
-  f3d_options_set_as_bool(options, "ui.animation_progress", 1);
+  f3d_options_set_as_string(options, "ui.animation_progress", "default");
   f3d_options_set_as_bool(options, "ui.filename", 1);
 
   f3d_scene_t* scene = f3d_engine_get_scene(engine);

examples/libf3d/cpp/in-situ/main.cxx

@@ -98,7 +98,7 @@ int main(int argc, char** argv)
 
   opt.ui.axis = true;
   opt.ui.fps = true;
-  opt.ui.animation_progress = true;
+  opt.ui.animation_progress = "default";
   opt.ui.scalar_bar = true;
   opt.ui.notifications.enable = true;
 

examples/libf3d/cpp/interactive-app/main.cxx

@@ -185,7 +185,7 @@ int main(int argc, char** argv)
   // UI overlays: axis + some HUD
   opt.ui.axis = true;
   opt.ui.fps = true;
-  opt.ui.animation_progress = true;
+  opt.ui.animation_progress = "default";
   opt.ui.filename = true;
 
   // FXAA + tone mapping

examples/libf3d/java/interactive-app/InteractiveApp.java

@@ -33,7 +33,7 @@ public static void main(String[] args) {
 
             options.setAsBool("ui.axis", true);
             options.setAsBool("ui.fps", true);
-            options.setAsBool("ui.animation_progress", true);
+            options.setAsString("ui.animation_progress", "default");
             options.setAsBool("ui.filename", true);
 
             Scene scene = engine.getScene();

examples/libf3d/python/in-situ/in_situ.py

@@ -197,7 +197,7 @@ def main(argv=None):
             "render.effect.tone_mapping": True,
             "ui.axis": True,
             "ui.fps": True,
-            "ui.animation_progress": True,
+            "ui.animation_progress": "default",
             "ui.scalar_bar": True,
             "ui.notifications.enable": True,
             "scene.up_direction": [0.0, 0.0, 1.0],

examples/libf3d/python/interactive-app/interactive_app.py

@@ -29,7 +29,7 @@ def main(argv: list[str] | None = None):
             # UI overlays: axis + some HUD
             "ui.axis": True,
             "ui.fps": True,
-            "ui.animation_progress": True,
+            "ui.animation_progress": "default",
             "ui.filename": True,
             # FXAA + tone mapping
             "render.effect.antialiasing.enable": True,