ui: the readouts strip is also shown in a collapsed window

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

src/ui_app.hpp

@@ -610,8 +610,8 @@ struct App {
   GtkWidget* dock_measures_edit = nullptr;
   /// One value label per measurement, in `measures` order (the dock's copy of `measure_labels`).
   std::vector<GtkWidget*> dock_measure_labels;
-  /// The readouts strip under the plot (`main-window.ui` `readouts_strip`, `src/ui_dock.cpp`): shown only
-  /// while the dock is not. Its value labels mirror the dock's one for one -- `strip_cursor_deltas` the
+  /// The readouts strip under the plot (`main-window.ui` `readouts_strip`, `src/ui_dock.cpp`): shown
+  /// whenever the dock is not beside the plot (`!show-sidebar || collapsed`). Its value labels mirror the dock's one for one -- `strip_cursor_deltas` the
   /// `d` cell of each `dock_cursor_lines` entry, `strip_measure_labels` each of `dock_measure_labels` --
   /// and `strip_cursor_who` the cursor lines' `who` cells, all written from the dock setters' arguments.
   GtkWidget* readouts_strip = nullptr;
@@ -1797,8 +1797,9 @@ void dock_cursor_cell(App& app, std::size_t line, const std::string& a, const st
 void dock_measure_value(App& app, std::size_t i, const std::string& text);
 /// The readouts strip under the plot (`src/ui_dock.cpp`): the third reader of the same strings. It is
 /// filled by the `dock_*` rebuilds and written by the `dock_*` setters above (so nothing here formats),
-/// and shown exactly when the dock is not: `sync_readouts_strip()` is called by the tick after the
-/// show-sidebar reconciliation. `dock_set_cursors_sensitive()` is the one writer of the cursor readouts'
+/// and shown whenever the dock is not beside the plot (`!show-sidebar || collapsed`, a collapsed dock being
+/// an overlay on it): `sync_readouts_strip()` is called by the tick after the show-sidebar reconciliation
+/// and before `set_collapsed()`, so it reads the previous frame's `collapsed`. `dock_set_cursors_sensitive()` is the one writer of the cursor readouts'
 /// sensitivity, for the dock's grid and the strip's chips together.
 void sync_readouts_strip(App& app);
 void dock_set_cursors_sensitive(App& app, bool on);