Enable doc folds

unisonweb · Jan 8, 2025 · 3efac48 · 3efac48
1 parent 1190db5
commit 3efac48
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/src/Ucm/Workspace/WorkspacePane.elm b/src/Ucm/Workspace/WorkspacePane.elm
@@ -72,6 +72,7 @@ type Msg
     | CloseWorkspaceItem WorkspaceItemRef
     | ChangeDefinitionItemTab WorkspaceItemRef WorkspaceItem.DefinitionItemTab
     | OpenDependency Reference
+    | ToggleDocFold WorkspaceItemRef Doc.FoldId
     | Keydown KeyboardEvent.KeyboardEvent
     | DefinitionSummaryTooltipMsg DefinitionSummaryTooltip.Msg
     | KeyboardShortcutMsg KeyboardShortcut.Msg
@@ -166,6 +167,26 @@ update config msg model =
             in
             ( m, c, NoOut )
 
+        ToggleDocFold wsRef foldId ->
+            let
+                updateState state =
+                    case state.activeTab of
+                        WorkspaceItem.DocsTab toggles ->
+                            { activeTab =
+                                WorkspaceItem.DocsTab (Doc.toggleFold toggles foldId)
+                            }
+
+                        _ ->
+                            state
+
+                workspaceItems_ =
+                    WorkspaceItems.updateDefinitionItemState
+                        updateState
+                        wsRef
+                        model.workspaceItems
+            in
+            ( { model | workspaceItems = workspaceItems_ }, Cmd.none, NoOut )
+
         Keydown event ->
             let
                 ( keyboardShortcut, kCmd ) =
@@ -541,7 +562,7 @@ viewItem definitionSummaryTooltip item isFocused =
                             case ( state.activeTab, WorkspaceItem.docs defItem ) of
                                 ( WorkspaceItem.DocsTab docFoldToggles, Just docs ) ->
                                     Doc.view (syntaxConfig definitionSummaryTooltip)
-                                        (always NoOp)
+                                        (ToggleDocFold wsRef)
                                         docFoldToggles
                                         docs