Mercurial > gui
annotate examples/navtest.ur @ 28:7d0014542199
TogglePanel.isOpen
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 12 Feb 2012 10:27:02 -0500 |
| parents | 48a4180171b0 |
| children |
| rev | line source |
|---|---|
| kkallio@7 | 1 open Navbar |
| kkallio@7 | 2 open Navigation |
| kkallio@7 | 3 |
| kkallio@7 | 4 val bar = navAdd (mkNavItem "Item 2" (bless "http://item2.com")) (navAdd (mkNavItem "Item 1" (bless "http://item1.org")) emptyNavBar) |
| kkallio@7 | 5 |
| kkallio@7 | 6 val link = mkNavItem "Special link" (bless "http://special.net") |
| kkallio@7 | 7 |
| kkallio@7 | 8 structure N = Make(struct |
| kkallio@7 | 9 con navbarPos = [Main] |
| kkallio@7 | 10 con msgPos = [Top] |
| kkallio@7 | 11 |
| kkallio@7 | 12 con themePos = [Main] |
| kkallio@7 | 13 |
| kkallio@7 | 14 val linkStyles = {Special = None} |
| kkallio@7 | 15 |
| kkallio@7 | 16 fun formatNav barPieces lnkPieces msgPieces = |
| kkallio@7 | 17 {Main = <xml>{msgPieces.Top}<h3>Here is a menu.</h3><ul>{barPieces.Main}<li>{lnkPieces.Special}</li></ul></xml>} |
| kkallio@7 | 18 end) |
| kkallio@7 | 19 |
| kkallio@7 | 20 open N |
| kkallio@7 | 21 |
| kkallio@7 | 22 val topMsg : xbody = <xml><div>A banner message</div></xml> |
| kkallio@7 | 23 |
| kkallio@7 | 24 val nav = mkNav {Main = bar} {Special = Some link} {Top = Some topMsg} |
| kkallio@7 | 25 |
| kkallio@7 | 26 val xml = toXml nav |
| kkallio@7 | 27 |
| kkallio@7 | 28 |
| kkallio@7 | 29 fun main () = |
| kkallio@7 | 30 return <xml> |
| kkallio@7 | 31 <head> |
| kkallio@7 | 32 <title>Navbar Based Navigation.</title> |
| kkallio@7 | 33 </head> |
| kkallio@7 | 34 <body> |
| kkallio@7 | 35 <h1>Example of using a Navigation.</h1> |
| kkallio@7 | 36 <p> |
| kkallio@7 | 37 This is a theme widget which manages a set |
| kkallio@7 | 38 of links, messages and menus for site navigation. |
| kkallio@7 | 39 </p> |
| kkallio@7 | 40 <h2>Example of a navigation turned into a piece of xml.</h2> |
| kkallio@7 | 41 <div> |
| kkallio@7 | 42 {xml.Main} |
| kkallio@7 | 43 </div> |
| kkallio@7 | 44 </body> |
| kkallio@7 | 45 </xml> |