Folded copyable source

unisonweb · Jan 8, 2025 · efbba70 · efbba70
1 parent 288136e
commit efbba70
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/Code/Definition/Doc.elm b/src/Code/Definition/Doc.elm
@@ -266,9 +266,11 @@ viewFolded attrs isFolded_ =
                 ]
 
         IsFolded { toggleFoldMsg, content, foldId, isFolded } ->
-            div (classList [ ( "folded", True ), ( "is-folded", isFolded ) ] :: attrs)
-                [ FoldToggle.foldToggle (toggleFoldMsg foldId) |> FoldToggle.isOpen (not isFolded) |> FoldToggle.view
-                , div [ class "folded-content" ] content
+            div [ class "copyable-source" ]
+                [ div (classList [ ( "folded", True ), ( "is-folded", isFolded ) ] :: attrs)
+                    [ FoldToggle.foldToggle (toggleFoldMsg foldId) |> FoldToggle.isOpen (not isFolded) |> FoldToggle.view
+                    , div [ class "folded-content" ] content
+                    ]
                 ]
 
 

diff --git a/src/css/code/definition-doc.css b/src/css/code/definition-doc.css
@@ -403,7 +403,6 @@
   margin-bottom: 1rem;
   display: flex;
   flex-direction: row;
-  position: relative;
 }
 
 .definition-doc .folded .folded-content {