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

« back to all changes in this revision

Viewing changes to ivle/webapp/console/overlay.html

Replaced Python config files (conf.py) with new config files system, using
    configobj (INI-file style config files).

setup.py config now produces ./etc/ivle.conf, a new-style config file.
ivle/conf/conf.py is now part of the IVLE source code. It reads the new config
file and provides the same legacy interface, so all of IVLE still functions,
including setup.py config.

Added /etc to the source tree (config files will be stored here).
Added configobj as a dependency in doc/setup/install_proc.txt.

setup.py install copies ./etc/ivle.conf into /etc/ivle/ivle.conf.

Removed boilerplate code generation from setup/configure.py (that code is now
part of ivle/conf/conf.py which is now in the source tree).

Show diffs side-by-side

added added

removed removed

Lines of Context:
3
3
      xmlns:py="http://genshi.edgewall.org/" py:strip="">
4
4
      
5
5
  <body py:strip="">
6
 
    <div id="console_body">
 
6
    <div id="console_body" py:attrs="start_body_attrs">
7
7
      <div id="console_heading">Python Console<span py:if="windowpane" 
8
8
          class="console_button minimize">
9
9
          <a onclick="console_minimize()"
10
10
              title="Minimize the Python console">
11
 
            <img src="${minimize_path}" />
 
11
            <img src="${minimize_path}" alt="Minimize" />
12
12
          </a>
13
13
        </span>
14
14
      </div>
26
26
          <span py:if="windowpane" class="console_button maximize">
27
27
            <a onclick="console_maximize()"
28
28
                title="Open up the Python console">
29
 
              <img src="${maximize_path}" />
 
29
              <img src="${maximize_path}" alt="Maximize"/>
30
30
            </a>
31
31
          </span>
32
32
        </div>
33
33
      </div>
34
34
    </div>
35
 
    <div py:if="windowpane" id="console_filler">
 
35
    <div py:if="windowpane" id="console_filler" class="windowpane minimal">
36
36
    <!-- Console filler, provides extra vertical space to stop the console
37
37
                                            covering over the bottom content -->
38
38
    </div>