diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -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> |