view tests/doubleDyn.ur @ 2068:b6adfe99bb08

Check realloc's return code to prevent segfault on out of memory condition (Part 2)
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 24 Aug 2014 11:56:41 +0400
parents d05299e561c8
children
line wrap: on
line source
style linktitle
style topic

fun main () : transaction page =
    text <- source "Lorem ipsum dolor sit amet";
    cls <- source linktitle;
    return <xml>
      <head>
        <title>Dynamic CSS class test</title>
        <link href="http://adam.chlipala.net/style.css" rel="stylesheet" type="text/css" media="all"/>
      </head>
      <body>
        <dyn signal={t <- signal text;
                     return <xml><div dynClass={signal cls}>{[t]}</div></xml>}/>
        <div dynClass={signal cls}>
          <dyn signal={t <- signal text; return (txt t)}/>
        </div>
        <button value="Style1" onclick={set cls linktitle}/>
        <button value="Style2" onclick={set cls topic}/>
        <ctextbox source={text}/>
      </body>
    </xml>