diff options
| author | Robert Zorko <robertz@gurucue.com> | 2015-09-22 18:13:31 +0200 |
|---|---|---|
| committer | Robert Zorko <robertz@gurucue.com> | 2015-09-22 18:13:31 +0200 |
| commit | 5c87d98c0b3383c7ad63f0b69e36110b915e36c2 (patch) | |
| tree | 8170ff14a78fdfc62a30e600d9fce8eb261afe2b /index.html | |
| parent | 9043754b69c64419c285a703daf203b87af70506 (diff) | |
enabled buttons in the navigation header (at least buttons on the left side of the bar), renamed stateMachine to navigation
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> @@ -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> |