30
29
</pre><p><code class="literal">new_button_label</code> is the label to put on the
31
30
<span class="guibutton">New</span> button. The default value is
32
31
<code class="literal">_("New")</code>.</p><p><code class="literal">lesson_heading</code> will set the heading to be displayed
34
33
heading.</p><p>The properties are defined by the <code class="literal">props</code> variable in
35
34
the lesson file header, and there should be a variable
36
35
<code class="literal">prop_labels</code> that defines the label to use.