annotate examples/popup.ur @ 30:c1f06342c81f

Add margin example
author Adam Chlipala <adam@chlipala.net>
date Sat, 12 May 2012 10:07:45 -0400
parents 48a4180171b0
children
rev   line source
kkallio@6 1 open Navbar
kkallio@6 2 open PopupNav
kkallio@6 3
kkallio@6 4 val testNav = navAdd (mkNavItem "item 2" (bless "http://item2.org"))
kkallio@6 5 (navAdd (mkNavItem "item 1" (bless "http://item1.org"))
kkallio@6 6 emptyNavBar)
kkallio@6 7
kkallio@6 8 val testNav' = navAdd (mkNavItem "item 3" (bless "http://item3.org"))
kkallio@6 9 testNav
kkallio@6 10
kkallio@7 11 val otherFormat = {FormatMenu = fn ctl menu => <xml><h3>A Custom {ctl} Format</h3>{menu}</xml>,
kkallio@7 12 WrapMenu = fn menu => <xml><div><ul>{menu}</ul></div></xml>,
kkallio@6 13 OpenCtl = fn behaviour => <xml><a href={bless "http://#"} onclick={behaviour}>View</a></xml>,
kkallio@6 14 CloseCtl = fn behaviour => <xml><a href={bless "http://#"} onclick={behaviour}>Hide</a></xml>}
kkallio@6 15
kkallio@6 16
kkallio@6 17 fun main () =
kkallio@6 18
kkallio@6 19 defaultFormatPopUp <- create defaultFormat testNav';
kkallio@6 20 otherFormatPopUp <- create otherFormat testNav';
kkallio@6 21
kkallio@6 22 return <xml>
kkallio@6 23 <head>
kkallio@6 24 <title>Navbar Based Popup Navigation.</title>
kkallio@6 25 </head>
kkallio@6 26 <body>
kkallio@6 27 <h1>Example of using Navbar to build a widget.</h1>
kkallio@6 28 <p>
kkallio@6 29 This is a widget which generates a popup list
kkallio@6 30 of links.
kkallio@6 31 </p>
kkallio@6 32 <h2>Example of the default format.</h2>
kkallio@6 33 <p>
kkallio@6 34 {render defaultFormatPopUp}
kkallio@6 35 </p>
kkallio@6 36 <h2>Example of another format.</h2>
kkallio@6 37 <p>
kkallio@6 38 {render otherFormatPopUp}
kkallio@6 39 </p>
kkallio@6 40 </body>
kkallio@6 41 </xml>