view tests/nextid.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 e1f5d9c4cc20
children
line wrap: on
line source
fun main () : transaction page =
    id1 <- fresh;
    id2 <- fresh;
    id3 <- fresh;
    idS <- source id3;
    return <xml><body>
      <span id={id1}>Hi</span> <span id={id2}>there!</span><br/><br/>
      <dyn signal={idS <- signal idS; return <xml><span id={idS}>Whoa-hoa!</span></xml>}/>
      <button onclick={id <- fresh; set idS id}/>
      Source: <dyn signal={idS <- signal idS; return (txt (<xml><span id={idS}>Whoa-hoa!</span></xml> : xbody))}/>
    </body></xml>