# HG changeset patch
# User bsw
# Date 1345418698 -7200
# Node ID 1c70e9ea07add53a4c2b3a2138026c55e3f14bf3
# Parent  23e12fe721d4c4d4ce6d1f003f41262c51f6a740
Added raw_title helper

diff -r 23e12fe721d4 -r 1c70e9ea07ad env/ui/raw_title.lua
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/env/ui/raw_title.lua	Mon Aug 20 01:24:58 2012 +0200
@@ -0,0 +1,7 @@
+function ui.raw_title(content)
+  slot.select("head", function()
+    ui.container{ attr = { class = "title" }, content = function()
+      slot.put(content)
+    end }
+  end)
+end
\ No newline at end of file