diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-24 14:31:13 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-24 14:31:13 +0200 |
| commit | 3184e7f201af05429bedb4fb8a6300e024946c2a (patch) | |
| tree | e660f5b50fd56cb7ac51deb32d8ab4a8f98552e3 /index.html | |
| parent | 652164680ac0d1b4ace0ae9ec55f69b28740d11a (diff) | |
Implemented: CodeQ event queue, basic translation infrastructure, reimplemented problem index from JSON data.
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 31 |
1 files changed, 11 insertions, 20 deletions
@@ -41,6 +41,12 @@ <div class="collapse navbar-collapse"> <ul class="nav navbar-nav navbar-right"> <p class="navbar-text" id="signed-in-title">Signed in as Franc Jožef</p> + <li class="dropdown lang-selection"> + <a href="#" class="dropdown-toggle" data-toggle="dropdown" aria-expanded="true"> + <span class="lang-choice"></span> + </a> + <ul class="dropdown-menu"></ul> + </li> <li class="dropdown"> <a href="#" class="dropdown-toggle" data-toggle="dropdown" aria-expanded="true"> <span class="glyphicon glyphicon glyphicon-user"></span> @@ -91,27 +97,11 @@ </div> <!-- problem selection screen for a specific language: groups of problems, with descriptions --> - <div id="screen_problem" style="text-align: center; display: none;"> - <h1>CodeQ Select Problem</h1> + <div id="screen_problem" style="display: none;"> + <h1 class="language-title"></h1> <hr> - <table style="margin: 0 auto;"> - <tbody> - <tr> - <td style="text-align: right;">Problem:</td> - <td> - <select name="problem_group" id="problem_group" style="min-width: 10em;"> - </select> - <select name="problem" id="problems" style="min-width: 10em;"> - </select> - </td> - </tr> - <tr> - <td colspan="2" style="text-align: center;"> - <button type="button" id="submit_problem">Select</button> - </td> - </tr> - </tbody> - </table> + <div class="language-description"></div> + <ul class="language-problems"></ul> </div> <!-- problem screen: prolog --> @@ -198,6 +188,7 @@ <script src="js/codemirror/show-hint.js"></script> <!-- codeq app --> <script src="js/codeq/core.js"></script> + <script src="js/codeq/statusbar.js"></script> <script src="js/codeq/navigation.js"></script> <script src="js/codeq/comms.js"></script> <script src="js/codeq/console.js"></script> |