~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/apps/tutorial/exercise.html

  • Committer: me at id
  • Date: 2009-01-15 05:53:45 UTC
  • mto: This revision was merged to the branch mainline in revision 1090.
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:branches%2Fstorm:1161
bin/ivle-showenrolment: Switch to ivle.database.User.enrolments from
    ivle.db.get_enrolment, removing the dependency on ivle.db.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
<html xmlns="http://www.w3.org/1999/xhtml"
2
 
      xmlns:xi="http://www.w3.org/2001/XInclude"
3
 
      xmlns:py="http://genshi.edgewall.org/" py:strip="">
4
 
  <div class="exercise" id="exercise${exerciseid}">
5
 
    <p><b>Exercise:</b> ${exercisename}</p>
6
 
    <py:if test="exercisedesc is not None">
7
 
      <div>${exercisedesc}</div>
8
 
    </py:if>
9
 
    <input id="input_resettext_exercise${exerciseid}" type="hidden" value="${exercisepartial_backup}" />
10
 
    <textarea id="textarea_exercise${exerciseid}" class="exercisebox"
11
 
        onkeypress="return catch_textbox_input(&quot;exercise${exerciseid}&quot;, '${filename}',
12
 
        event.keyCode)"
13
 
        onchange="set_saved_status(&quot;exercise${exerciseid}&quot;, '${filename}',
14
 
        &quot;Save&quot;)"
15
 
        cols="80" rows="${rows}">
16
 
        ${exercisepartial}
17
 
    </textarea>
18
 
    <div class="exercisebuttons">
19
 
      <input type="button" value="Saved" disabled="disabled" id="savebutton_exercise${exerciseid}"
20
 
          onclick="saveexercise(&quot;exercise${exerciseid}&quot;, '${filename}')"
21
 
          title="Save your solution to this exercise" />
22
 
      <input type="button" value="Reset" id="resetbutton_exercise${exerciseid}"
23
 
          onclick="resetexercise(&quot;exercise${exerciseid}&quot;, '${filename}')"
24
 
          title="Reload the original partial solution for this exercise" />
25
 
      <input type="button" value="Run"
26
 
          onclick="runexercise(&quot;exercise${exerciseid}&quot;, '${filename}')"
27
 
          title="Run this program in the console" />
28
 
      <input type="button" value="Submit"
29
 
              id="submitbutton_exercise${exerciseid}"
30
 
              onclick="submitexercise(&quot;exercise${exerciseid}&quot;, '${filename}')"
31
 
              title="Submit this solution for evaluation" />
32
 
    </div>
33
 
    <div class="testoutput">
34
 
    </div>
35
 
    <div class="problem_summary">
36
 
      <ul>
37
 
        <li id="summaryli_exercise${exerciseid}" class="${complete}">
38
 
          <b><span id="summarycomplete_exercise${exerciseid}">${complete}</span>.</b>
39
 
            Attempts: <span id="summaryattempts_exercise${exerciseid}">${attempts}</span>.
40
 
        </li>
41
 
      </ul>
42
 
    </div>
43
 
    <!-- This is filled in by javascript when the page loads -->
44
 
    <div class="attempthistory">
45
 
      <p>
46
 
        <a title="Click to view previous submissions you have made for this exercise" 
47
 
              onclick="open_previous(&quot;exercise${exerciseid}&quot;, '${filename}')">
48
 
          View previous attempts
49
 
        </a>
50
 
      </p>
51
 
    <div style="display: none">
52
 
      <h3>Previous attempts</h3>
53
 
        <p>
54
 
          <a title="Close the previous attempts" onclick="close_previous(&quot;exercise${exerciseid}&quot;)">
55
 
            Close attempts
56
 
          </a>
57
 
        </p>
58
 
        <p>
59
 
          <select title="Select an attempt's time stamp from the list">
60
 
            <option></option>
61
 
          </select>
62
 
          <input type="button" value="View"
63
 
              onclick="select_attempt(&quot;exercise${exerciseid}&quot;, '${filename})'" />
64
 
        </p>
65
 
        <p>
66
 
          <textarea readonly="readonly" class="exercisebox" cols="80" rows="${rows}"
67
 
              title="You submitted this code on a previous attempt">
68
 
          </textarea>
69
 
        </p>
70
 
      </div>
71
 
    </div>
72
 
  </div>
73
 
</html>