From 5c87d98c0b3383c7ad63f0b69e36110b915e36c2 Mon Sep 17 00:00:00 2001
From: Robert Zorko <robertz@gurucue.com>
Date: Tue, 22 Sep 2015 18:13:31 +0200
Subject: enabled buttons in the navigation header (at least buttons on the
 left side of the bar), renamed stateMachine to navigation

---
 index.html | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 99f6330..87987d4 100644
--- a/index.html
+++ b/index.html
@@ -28,11 +28,18 @@
                         <span class="icon-bar"></span>
                     </button>
                     <a class="navbar-brand" href="#" title="Intelligent tutor system">CodeQ</a>
+                    <ul class="nav navbar-nav">
+                        <li style="display: none;" id="navigation-login"><a href="">Login</a></li>
+                        <li style="display: none;" id="navigation-language"><a href="">Language</a></li>
+                        <li style="display: none;" id="navigation-problem"><a href="">Problem</a></li>
+                        <li style="display: none;" id="navigation-python"><a href="">Python</a></li>
+                        <li style="display: none;" id="navigation-prolog"><a href="">Prolog</a></li>
+                    </ul>
                     <a class="navbar-brand" id="title"></a>
                 </div>
                 <div class="collapse navbar-collapse">
                     <ul class="nav navbar-nav navbar-right">
-                        <p class="navbar-text">Signed in as Franc Jožef</p>
+                        <p class="navbar-text" id="signed-in-title">Signed in as Franc Jožef</p>
                         <li class="dropdown">
                             <a href="#" class="dropdown-toggle" data-toggle="dropdown" aria-expanded="true">
                                 <span class="glyphicon glyphicon glyphicon-user"></span>
@@ -181,6 +188,7 @@
         <script src="js/jquery/jquery-1.11.3.js"></script>
         <script src="js/engine.io.js"></script>
         <script src="js/jquery/jquery.terminal-0.8.8.js"></script>
+        <script src="js/jquery/jquery.history.js"></script>
         <!-- Q promise library -->
         <script src="js/q.js"></script>
         <!-- Bootstrap -->
@@ -195,7 +203,7 @@
         <script src="js/codemirror/show-hint.js"></script>
         <!-- codeq app -->
         <script src="js/codeq.js"></script>
-        <script src="js/codeq/stateMachine.js"></script>
+        <script src="js/codeq/navigation.js"></script>
         <script src="js/codeq/comms.js"></script>
         <script src="js/codeq/console.js"></script>
         <script src="js/codeq/hint.js"></script>
-- 
cgit v1.2.1