annotate demo/threads.ur @ 2142:3288e3c9948b

Fix XML indentation in Emacs mode The return value of MATCH-STRING is a string. At least on Emacs 25, the comparisons between string and character with EQUAL could never succeed, and so the cases for matching braces were never triggered. GET-TEXT-PROPERTY may return a list rather than an atom (for example, on long lines with whitespace-mode turned on), and this broke the heuristic of looking for the tag face in previous text.
author Julian Squires <julian@cipht.net>
date Mon, 04 May 2015 14:35:07 -0400
parents 755a71c99be5
children
rev   line source
adamc@697 1 fun main () =
adamc@697 2 buf <- Buffer.create;
adamc@697 3 let
adamc@697 4 fun loop prefix delay =
adamc@697 5 let
adamc@697 6 fun loop' n =
adamc@697 7 Buffer.write buf (prefix ^ ": Message #" ^ show n);
adamc@697 8 sleep delay;
adamc@697 9 loop' (n + 1)
adamc@697 10 in
adamc@697 11 loop'
adamc@697 12 end
adamc@697 13 in
adamc@697 14 return <xml><body onload={spawn (loop "A" 5000 0); spawn (loop "B" 3000 100)}>
adamc@697 15 <dyn signal={Buffer.render buf}/>
adamc@697 16 </body></xml>
adamc@697 17 end