@@ -5,7 +5,8 @@ import Browser
55import Browser.Navigation as Nav
66import CodebaseTree
77import Definition.Reference exposing (Reference )
8- import Env exposing (AppContext (..) , Env , OperatingSystem (..) )
8+ import Env exposing (Env , OperatingSystem (..) )
9+ import Env.AppContext as AppContext exposing (AppContext (..) )
910import Finder
1011import Finder.SearchOptions as SearchOptions
1112import FullyQualifiedName as FQN exposing (FQN )
@@ -451,10 +452,10 @@ appTitle clickMsg appContext =
451452
452453 content =
453454 case appContext of
454- Env . Ucm ->
455- h1 [] [ text " Unison" , span [ class " context ucm " ] [ text " Local" ] ]
455+ UnisonLocal ->
456+ h1 [] [ text " Unison" , span [ class " context unison-local " ] [ text " Local" ] ]
456457
457- Env . UnisonShare ->
458+ UnisonShare ->
458459 h1 [] [ text " Unison" , span [ class " context unison-share" ] [ text " Share" ] ]
459460 in
460461 appTitle_ content
@@ -479,7 +480,7 @@ viewAppHeader model =
479480
480481 banner =
481482 case appContext of
482- Ucm ->
483+ UnisonLocal ->
483484 Nothing
484485
485486 UnisonShare ->
@@ -544,7 +545,7 @@ subMenu appContext =
544545 , ( " Community" , ExternalHref " https://unisonweb.org/community" )
545546 , ( " Report a bug" , OnClick ( ShowModal ReportBugModal ) )
546547 ]
547- ++ ( if Env . isUnisonLocal appContext then
548+ ++ ( if AppContext . isUnisonLocal appContext then
548549 [ ( " Unison Share" , ExternalHref " https://share.unison-lang.org" ) ]
549550
550551 else
@@ -578,7 +579,7 @@ viewMainSidebar model =
578579 Perspective . toNamespacePerspective perspective >> ChangePerspective
579580
580581 sidebarContent =
581- if Perspective . isCodebasePerspective perspective && Env . isUnisonShare appContext then
582+ if Perspective . isCodebasePerspective perspective && AppContext . isUnisonShare appContext then
582583 UnisonShare . SidebarContent . view changePerspectiveMsg
583584
584585 else
@@ -732,7 +733,7 @@ viewReportBugModal appContext =
732733 , div [ class " action" ]
733734 [ githubLinkButton " unisonweb/codebase-ui"
734735 , text " for reports on"
735- , strong [] [ text ( Env . appContextToString appContext) ]
736+ , strong [] [ text ( AppContext . toString appContext) ]
736737 , span [ class " subtle" ] [ text " (this UI)" ]
737738 ]
738739 , div [ class " action" ]
@@ -784,7 +785,7 @@ viewAppError : AppContext -> Http.Error -> Html msg
784785viewAppError appContext error =
785786 let
786787 context =
787- Env . appContextToString appContext
788+ AppContext . toString appContext
788789 in
789790 div [ id " app" ]
790791 [ AppHeader . view ( AppHeader . appHeader ( appTitle Nothing appContext))
@@ -801,12 +802,7 @@ view : Model -> Browser.Document Msg
801802view model =
802803 let
803804 title_ =
804- case model. env. appContext of
805- UnisonShare ->
806- " Unison Share"
807-
808- Ucm ->
809- " Unison Local"
805+ AppContext . toString model. env. appContext
810806
811807 page =
812808 case model. route of
0 commit comments