From 05eb62f3c46ef614639ac075659df36723ad4ff3 Mon Sep 17 00:00:00 2001 From: Robert Sesek 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 @@ + + 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.43.5