Commit 11c4e298 authored by John van Groningen's avatar John van Groningen

add update_type_window function

parent aab0e82e
......@@ -7,5 +7,7 @@ import StdPSt
from EdMonad import :: EditState
from IdeState import :: General
update_type_window :: !Bool !String ![String] !*(PSt *General) -> *PSt *General
typeWinKeyboard :: .WindowAttribute *(EditState,*PSt *General);
typeWinMouse :: .WindowAttribute *(EditState,*PSt *General);
......@@ -5,6 +5,11 @@ import IdeState
import EdKeyboard, EdMouse
//--
update_type_window :: !Bool !String ![String] !*(PSt *General) -> *PSt *General
update_type_window interact name message ps
# atts = [typeWinKeyboard,typeWinMouse]
= updateTypeWindow interact name atts message ps // fun to update type info in type window, text :: !Text
typeWinKeyboard :: .WindowAttribute *(EditState,*PSt *General);
typeWinKeyboard = WindowKeyboard (\_ -> True) Able typeKeyboard
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment