docs Fix stale workout view doc

The workout view selects the exercise with a dropdown, not a vertical button group. Correct the pages.mli doc and repair a broken [active_slot] fragment left by an earlier edit.

Commit
555e3fb4ea7467fce4adf6cf85d38ed67d8a85ed
Author
Marius Peter <dev@marius-peter.com>
Author date
Committer
Marius Peter <dev@marius-peter.com>
Committer date
lib/web/pages.mli
index 9522dbd5..17f97bb1 100644..100644
@@ -38,11 +38,11 @@
38 38 active_slot:int ->
39 39 View_model.Workout.t ->
40 40 page
41 Removed: (** Renders one prescribed slot at a time under a vertical group of named
42 Removed: exercise buttons. Authenticated pages carry generic progressive-enhancement
43 Removed: markers. Current workouts additionally mark slot links and forms, while
44 Removed: saved-record edits use the generic authenticated form path. [active_slot]
45 Removed: button. A handler clamps a requested slot and falls back to the first
41 Added: (** Renders one prescribed slot at a time under a dropdown that selects the
42 Added: exercise. Authenticated pages carry generic progressive-enhancement markers.
43 Added: Current workouts additionally mark slot links and forms, while saved-record
44 Added: edits use the generic authenticated form path. [active_slot] is the slot the
45 Added: view opens on. A handler clamps a requested slot and falls back to the first
46 46 outstanding slot. [record_id] is [None] for the workout in progress and
47 47 [Some id] for a saved history record. [logging] sets the middle navigation
48 48 action. It defaults to a live workout view (true when [record_id] is