summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'index.html')
-rw-r--r--index.html12
1 files changed, 10 insertions, 2 deletions
diff --git a/index.html b/index.html
index 521bd91..bde01cb 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>
@@ -183,6 +190,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 -->
@@ -197,7 +205,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>