From 38d8812c60c3a6565c6003da860de02c3e4cd1d2 Mon Sep 17 00:00:00 2001
From: Paul Chiusano <paul.chiusano@gmail.com>
Date: Thu, 29 Jan 2015 12:04:59 -0500
Subject: [PATCH] Added explorer selection highlight

---
 editor/Unison/Editor.elm | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/editor/Unison/Editor.elm b/editor/Unison/Editor.elm
index 385e18957..0d0a236ed 100644
--- a/editor/Unison/Editor.elm
+++ b/editor/Unison/Editor.elm
@@ -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