Mercurial > urweb

view tests/dynClass.ur @ 2142:3288e3c9948b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 2b2d07946e65
children
line wrap: on
line source
style date
style topic

fun main () : transaction page =
    toggle <- source False;
    return <xml>
      <head>
	<link rel="stylesheet" type="text/css" href="http://adam.chlipala.net/style.css"/>
      </head>
      <body>
	<button dynClass={b <- signal toggle;
                          return (if b then date else topic)}
                dynStyle={b <- signal toggle;
                          return (if b then
                                      STYLE "width: 500px"
                                  else
                                      STYLE "width: 200px")}
                onclick={fn _ => b <- get toggle; set toggle (not b)}/>

        <button dynStyle={b <- signal toggle;
                          return (if b then
                                      STYLE "width: 200px"
                                  else
                                      STYLE "width: 100px")}/>
        <button dynClass={b <- signal toggle;
                          return (if b then
                                      topic
                                  else
                                      date)}/>
      </body>
    </xml>