unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-27 02:07:14 +03:00
Code Issues Projects Releases Wiki Activity

Added explorer selection highlight

Browse Source
This commit is contained in:
Paul Chiusano 2015-01-29 12:04:59 -05:00
parent 54489f9986
commit 38d8812c60
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
editor/Unison/Editor.elm
View File

@ -83,7 +83,15 @@ view ctx model =
ctx.explorerActive
model.explorer
in (highlightedTermLayout, explorerLayout)
explorerHighlight : Element
explorerHighlight =
Selection1D.view Styles.explorerSelection explorerLayout model.explorerSelection
highlightedExplorerLayout : Layout (Result Containment Int)
highlightedExplorerLayout =
Layout.transform (\e -> Element.layers [e, explorerHighlight]) explorerLayout
in (highlightedTermLayout, highlightedExplorerLayout)
--
-- viewExplorer : Model -> Layout
-- view : Int -> Term -> Layout View.L