unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-13 22:29:35 +03:00
Code Issues Projects Releases Wiki Activity

fix to explorer closing transition

Browse Source
This commit is contained in:
Paul Chiusano 2015-05-04 11:25:56 -04:00
parent 3a0bdd3766
commit 5e518c9c39
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
editor/src/Unison/TermExplorer.elm
View File

@ -153,8 +153,9 @@ model searchbox =
in Maybe.withDefault (Just state0) ( (Moore.extract sel |> .index) `Maybe.andThen`
\i -> Selection1D.index i valids `Maybe.andThen`
\(_,term) -> (Just << Just) (
Moore { selection = Just (focus, term), request = Nothing, view = Element.empty }
closed
Moore.spike { selection = Just (focus, term), request = Nothing, view = Element.empty }
{ selection = Nothing, request = Nothing, view = Element.empty }
closed
))
Click xy -> case Moore.feed { event = Just (Selection1D.Mouse xy), layout = layout' } sel of
sel -> case Moore.extract sel |> .index of