# HG changeset patch # User Adam Chlipala # Date 1342879955 14400 # Node ID e6bc6bbd7a3205793ff9f3e395ac062c30a7d1b1 # Parent 5bc4fbf9c0fe84f1fb5aaf9d80f57369e492541a Update demo code for key/mouse handler change diff -r 5bc4fbf9c0fe -r e6bc6bbd7a32 demo/alert.ur --- a/demo/alert.ur Sat Jul 21 10:02:53 2012 -0400 +++ b/demo/alert.ur Sat Jul 21 10:12:35 2012 -0400 @@ -1,3 +1,3 @@ fun main () = return -

Batch new rows to add

Already batched:

Batch new rows to add

Already batched:

{[r.T.Title]}

Messages

Great {[title]}

Archive

Id:
A:



Id:
Name:
Shoe size: