comparison demo/listEdit.ur @ 1784:e6bc6bbd7a32

Update demo code for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:12:35 -0400
parents fb2a0e76dcef
children
comparison
equal deleted inserted replaced
1783:5bc4fbf9c0fe 1784:e6bc6bbd7a32
13 and show' rl = 13 and show' rl =
14 case rl of 14 case rl of
15 Nil => return <xml/> 15 Nil => return <xml/>
16 | Cons {Data = ss, NewData = ss', Tail = rls} => return <xml> 16 | Cons {Data = ss, NewData = ss', Tail = rls} => return <xml>
17 <dyn signal={showString ss}/> 17 <dyn signal={showString ss}/>
18 <button value="Change to:" onclick={s <- get ss'; set ss s}/> 18 <button value="Change to:" onclick={fn _ => s <- get ss'; set ss s}/>
19 <ctextbox source={ss'}/><br/> 19 <ctextbox source={ss'}/><br/>
20 <dyn signal={show rls}/> 20 <dyn signal={show rls}/>
21 </xml> 21 </xml>
22 22
23 fun main () = 23 fun main () =
44 Nil => set head cons 44 Nil => set head cons
45 | _ => return () 45 | _ => return ()
46 end 46 end
47 in 47 in
48 return <xml><body> 48 return <xml><body>
49 <ctextbox source={data}/> <button value="Add" onclick={add ()}/><br/> 49 <ctextbox source={data}/> <button value="Add" onclick={fn _ => add ()}/><br/>
50 <br/> 50 <br/>
51 51
52 <dyn signal={show head}/> 52 <dyn signal={show head}/>
53 </body></xml> 53 </body></xml>
54 end 54 end