view tests/snest.ur @ 2062:795b5b75453c

Add 'role' data attribute. Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Jul 2014 10:05:04 +0400
parents 8932f855fa85
children
line wrap: on
line source
fun main () =
    s1 <- source False;
    s2 <- source False;

    return <xml><body>
      <dyn signal={s1 <- signal s1;
                   return (if s1 then
                               <xml><dyn signal={s2 <- signal s2;
                                                 return <xml>{[s2]}</xml>}/></xml>
                           else
                               <xml>Not yet</xml>)}/>
      <hr/>
      <button value="s1" onclick={set s1 True}/>
      <button value="s2" onclick={set s2 True}/>
   </body></xml>