Add definition permalink

Author: hojberg

src/Code2/Workspace/WorkspaceDefinitionItemCard.elm

@@ -55,6 +55,7 @@ type alias WorkspaceDefinitionItemCardConfig msg =
     , syntaxConfig : SyntaxConfig.SyntaxConfig msg
     , showDependents : msg
     , showDependencies : msg
+    , toPermalink : Maybe msg
     , namespaceDropdown : Maybe (NamespaceDropdown msg)
     }
 
@@ -336,6 +337,16 @@ titlebarRight cfg =
             else
                 UI.nothing
 
+        permalinkButton =
+            case cfg.toPermalink of
+                Just toPermalink ->
+                    titlebarButton toPermalink Icon.chain
+                        |> TitlebarButton.withLeftOfTooltip (text "View as permalink")
+                        |> TitlebarButton.view
+
+                _ ->
+                    UI.nothing
+
         otherNames_ =
             DefinitionItem.otherNames cfg.item
 
@@ -365,6 +376,7 @@ titlebarRight cfg =
                 UI.nothing
     in
     [ defHash
+    , permalinkButton
     , otherNames
     , dependenciesButton
     , dependentsButton

src/Code2/Workspace/WorkspacePane.elm

@@ -97,6 +97,7 @@ type Msg
     | ToggleFold WorkspaceItemRef
     | Keydown KeyboardEvent.KeyboardEvent
     | SetFocusedItem WorkspaceItemRef
+    | ToPermalink Reference
     | DefinitionSummaryTooltipMsg DefinitionSummaryTooltip.Msg
     | KeyboardShortcutMsg KeyboardShortcut.Msg
 
@@ -107,6 +108,7 @@ type OutMsg
     | FocusOn WorkspaceItemRef
     | RequestFindInNamespace FQN
     | RequestChangePerspective Reference FQN
+    | RequestPermalink Reference
     | Emptied
 
 
@@ -368,6 +370,12 @@ update config paneId msg model =
             , FocusOn wsRef
             )
 
+        ToPermalink ref ->
+            ( model
+            , Cmd.none
+            , RequestPermalink ref
+            )
+
         FindWithinNamespace wsRef fqn ->
             let
                 workspaceItems_ =
@@ -804,6 +812,7 @@ type alias PaneConfig =
     , withFocusedPaneIndicator : Bool
     , withNamespaceDropdown : Bool
     , withMinimap : Bool
+    , withPermalink : Bool
     }
 
 
@@ -857,6 +866,13 @@ viewItem cfg collapsedItems definitionSummaryTooltip item isFocused =
                             else
                                 Nothing
 
+                        toPermalink =
+                            if cfg.withPermalink then
+                                Just (ToPermalink definitionRef)
+
+                            else
+                                Nothing
+
                         config =
                             { wsRef = wsRef
                             , definitionRef = definitionRef
@@ -874,6 +890,7 @@ viewItem cfg collapsedItems definitionSummaryTooltip item isFocused =
                             , toggleFold = ToggleFold wsRef
                             , showDependents = ShowDependentsOf wsRef
                             , showDependencies = ShowDependenciesOf wsRef
+                            , toPermalink = toPermalink
                             , namespaceDropdown = namespaceDropdown
                             }
                     in

src/Code2/Workspace/WorkspacePanes.elm

@@ -69,6 +69,7 @@ type OutMsg
     | Emptied
     | ChangePerspectiveToSubNamespace Reference FQN
     | ShowFinderRequest FQN
+    | RequestPermalink Reference
 
 
 update : Config -> Msg -> Model -> ( Model, Cmd Msg, OutMsg )
@@ -101,6 +102,9 @@ update config msg model =
                         WorkspacePane.RequestChangePerspective ref fqn ->
                             ( model, ChangePerspectiveToSubNamespace ref fqn )
 
+                        WorkspacePane.RequestPermalink ref ->
+                            ( model, RequestPermalink ref )
+
                         _ ->
                             ( model, NoOut )
             in
@@ -133,6 +137,9 @@ update config msg model =
                         WorkspacePane.Emptied ->
                             ( model, Emptied )
 
+                        WorkspacePane.RequestPermalink ref ->
+                            ( model, RequestPermalink ref )
+
                         _ ->
                             ( model, NoOut )
             in
@@ -298,6 +305,7 @@ type alias PanesConfig =
     , withFocusedPaneIndicator : Bool
     , withNamespaceDropdown : Bool
     , withMinimap : Bool
+    , withPermalink : Bool
     }
 
 
@@ -311,6 +319,7 @@ view cfg model =
             , withFocusedPaneIndicator = cfg.withFocusedPaneIndicator
             , withNamespaceDropdown = cfg.withNamespaceDropdown
             , withMinimap = cfg.withMinimap
+            , withPermalink = cfg.withPermalink
             }
 
         left isFocused =

src/UnisonShare/Page/CodePage.elm

@@ -7,7 +7,7 @@ import Code.Finder as Finder
 import Code.Finder.SearchOptions as SearchOptions
 import Code.FullyQualifiedName as FQN exposing (FQN)
 import Code.FullyQualifiedNameSet as FQNSet
-import Code.Namespace exposing (NamespaceDetails)
+import Code.Namespace as Namespace exposing (NamespaceDetails)
 import Code.Perspective as Perspective exposing (Perspective)
 import Code.ReadmeCard as ReadmeCard
 import Code2.Workspace.WorkspaceItemRef as WorkspaceItemRef
@@ -385,6 +385,23 @@ update appContext context codeRoute msg model =
                             in
                             ( { model | modal = FinderModal fm }, Cmd.map FinderMsg fCmd )
 
+                        WorkspacePanes.RequestPermalink ref ->
+                            let
+                                perspective =
+                                    case model.config.perspective of
+                                        Perspective.Root { details } ->
+                                            case details of
+                                                RemoteData.Success (Namespace.Namespace _ hash _) ->
+                                                    Perspective.absoluteRootPerspective hash
+
+                                                _ ->
+                                                    model.config.perspective
+
+                                        _ ->
+                                            model.config.perspective
+                            in
+                            ( model, navigateToCode appContext context (Route.replacePerspective (Just ref) perspective) )
+
                         _ ->
                             ( model, Cmd.none )
             in
@@ -645,6 +662,11 @@ viewContent appContext perspective content =
                     , withNamespaceDropdown = True
                     , withFocusedPaneIndicator = False
                     , withMinimap = True
+
+                    -- Can't find the root hash without the root perspective
+                    -- and as such we can't create a permalink
+                    , withPermalink =
+                        Perspective.isRootPerspective perspective
                     }
             in
             PageContent.oneColumn [ Html.map WorkspacePanesMsg (WorkspacePanes.view cfg workspace) ]

src/css/code2/workspace/workspace-card.css

@@ -69,19 +69,19 @@
       color: var(--u-color_text_subdued);
     }
 
-    & .workspace-card_titlebar_left {
+    .workspace-card_titlebar_left {
       display: flex;
       flex-direction: row;
       gap: 0.5rem;
       align-items: center;
 
-      & .copy-on-click {
+      .copy-on-click {
         display: flex;
         flex-direction: row;
         align-items: center;
         gap: 0.25rem;
 
-        & .copy-on-click_success {
+        .copy-on-click_success {
           position: absolute;
           background: var(--u-color_positive_element_subdued);
           width: 1.5rem;
@@ -92,26 +92,26 @@
           align-items: center;
           justify-content: center;
 
-          & .icon {
+          .icon {
             color: var(--u-color_positive_icon-on-element_subdued);
             font-size: var(--font-size-base);
           }
         }
       }
 
-      & .tooltip {
+      .tooltip {
         margin-top: 0.5rem;
         margin-left: -0.5rem;
 
-        & .tooltip-bubble {
+        .tooltip-bubble {
           height: 2.25rem;
           display: flex;
           align-items: center;
         }
       }
     }
 
-    & .workspace-card_titlebar_right {
+    .workspace-card_titlebar_right {
       position: absolute;
       right: 0.325rem;
       display: flex;