From 05eb62f3c46ef614639ac075659df36723ad4ff3 Mon Sep 17 00:00:00 2001
From: Robert Sesek <rsesek@bluestatic.org>
Date: Sun, 3 Oct 2010 12:34:10 -0400
Subject: [PATCH] Put the version in the footer.

---
 build.py                | 1 +
 web_frontend/index.html | 2 ++
 web_frontend/main.js    | 7 +++++++
 web_frontend/screen.css | 6 ++++++
 4 files changed, 16 insertions(+)

diff --git a/build.py b/build.py
index 600f033..c593d1c 100755
--- a/build.py
+++ b/build.py
@@ -38,6 +38,7 @@ SOURCES_FE = [
   'actor.js',
   'file.js',
   'main.js',
+  'version.js',
 ]
 RESOURCES_FE = [
   'index.html',
diff --git a/web_frontend/index.html b/web_frontend/index.html
index c13ac2a..c9b3fc7 100644
--- a/web_frontend/index.html
+++ b/web_frontend/index.html
@@ -12,6 +12,8 @@
 
     <ul id="ls"></ul>
 
+    <div id="footer"></div>
+
     <script type="text/javascript" charset="utf-8">
       var app = new armadillo.App();
     </script>
diff --git a/web_frontend/main.js b/web_frontend/main.js
index f69e2af..5ef1e14 100644
--- a/web_frontend/main.js
+++ b/web_frontend/main.js
@@ -11,10 +11,12 @@ goog.provide('armadillo');
 goog.provide('armadillo.App');
 
 goog.require('armadillo.File');
+goog.require('armadillo.Version');
 goog.require('goog.array');
 goog.require('goog.dom');
 goog.require('goog.fx.dom.FadeInAndShow');
 goog.require('goog.net.XhrIo');
+goog.require('goog.string.format');
 goog.require('goog.Uri.QueryData');
 
 armadillo.App = function() {
@@ -28,6 +30,11 @@ armadillo.App = function() {
   this.errorEffect_.hide();
   goog.events.listen(window, goog.events.EventType.HASHCHANGE,
       this.hashChanged_, false, this);
+
+  var version = goog.string.format('Armadillo %d.%d (%d)',
+      armadillo.Version.MAJOR, armadillo.Version.MINOR,
+      armadillo.Version.BUILD);
+  goog.dom.setTextContent(goog.dom.getElement('footer'), version)
 }
 
 /**
diff --git a/web_frontend/screen.css b/web_frontend/screen.css
index aa2e44e..30f8868 100644
--- a/web_frontend/screen.css
+++ b/web_frontend/screen.css
@@ -18,6 +18,12 @@ h1 {
   font-size: 2em;
 }
 
+#footer {
+  margin-top: 0.6em;
+  font-size: 0.6em;
+  text-align: right;
+}
+
 .smallfont {
   font-size: 0.7em;
 }
-- 
2.22.5