Mercurial > gui
annotate examples/navtest.ur @ 10:0337f88f2efc
Clock
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 22 Jul 2011 15:40:03 -0400 |
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> |