kkallio@7: open Navbar
kkallio@7: open Navigation
kkallio@7:
kkallio@7: val bar = navAdd (mkNavItem "Item 2" (bless "http://item2.com")) (navAdd (mkNavItem "Item 1" (bless "http://item1.org")) emptyNavBar)
kkallio@7:
kkallio@7: val link = mkNavItem "Special link" (bless "http://special.net")
kkallio@7:
kkallio@7: structure N = Make(struct
kkallio@7: con navbarPos = [Main]
kkallio@7: con msgPos = [Top]
kkallio@7:
kkallio@7: con themePos = [Main]
kkallio@7:
kkallio@7: val linkStyles = {Special = None}
kkallio@7:
kkallio@7: fun formatNav barPieces lnkPieces msgPieces =
kkallio@7: {Main = {msgPieces.Top}Here is a menu.
{barPieces.Main}- {lnkPieces.Special}
}
kkallio@7: end)
kkallio@7:
kkallio@7: open N
kkallio@7:
kkallio@7: val topMsg : xbody = A banner message
kkallio@7:
kkallio@7: val nav = mkNav {Main = bar} {Special = Some link} {Top = Some topMsg}
kkallio@7:
kkallio@7: val xml = toXml nav
kkallio@7:
kkallio@7:
kkallio@7: fun main () =
kkallio@7: return
kkallio@7:
kkallio@7: Navbar Based Navigation.
kkallio@7:
kkallio@7:
kkallio@7: Example of using a Navigation.
kkallio@7:
kkallio@7: This is a theme widget which manages a set
kkallio@7: of links, messages and menus for site navigation.
kkallio@7:
kkallio@7: Example of a navigation turned into a piece of xml.
kkallio@7:
kkallio@7: {xml.Main}
kkallio@7:
kkallio@7:
kkallio@7: