break;
case '/upload_annfile.php':
$ref = 3;
break;
case '/upload_spec.php':
$ref = 4;
break;
case '/open.php':
default:
$ref = 1;
break;
}
html_start('Weblogen Preferences', '', '', 0, "Preferences");
$prefs = get_preferences();
?>
<form action="setpreferences.php" method="post">
<p>Display Annotated Programs and Filters
<?php
output_select('display', array('horiz', 'vert'), array('Horizontally', 'Vertically'), get_preference($prefs, 'display'));
?>
</p>
<p>
<input type="hidden" name="currentstage" value="<?php
echo $ref;
?>
"/>
<input type="submit" value="Save Preferences"/>
</p>
</form>
<?php
html_end();
echo isset($_SESSION["APP"]["campus"]) ? "" : " disabled";
?>
>
<?php
output_select($data["building"]);
?>
</select>
</div>
<div class="form-group">
<label for="room">Room</label>
<select name="room" class="form-control"<?php
echo isset($_SESSION["APP"]["building"]) ? "" : " disabled";
?>
>
<?php
output_select($data["room"]);
?>
</select>
</div>
<input type="submit" name="submit" class="btn btn-block btn-primary" value="Select"<?php
echo isset($_SESSION["APP"]["room"]) ? "" : " disabled";
?>
/>
</div>
</div>
</form>
</div>
<script class="remOnLoad">
$('form[name="room-select"] select[name="campus"]').val(<?php
echo isset($_SESSION["APP"]["campus"]) ? $_SESSION["APP"]["campus"] : "";
?>
?>
memo <?php
checkbox('watch_infmemo');
?>
</p>
<p style="margin-top: 4px; margin-bottom: 2px;">Back propagation <?php
checkbox('watch_backprop');
if ($_SESSION['watch'] == 'off') {
echo '<script type="text/javascript">changeDisableOptions(true)</script>';
}
insert_tooltip("<b>Watchdog Mode</b> detects problems with the specialisation process.<br/>Enable <b>builtins</b> to detect improperly instantiated builtin calls.<br/>Enable <b>connectives</b> to detect back-propagation of bindings in connectives (if,or)<br/>Enable <b>infinite unfold</b>/<b>memo</b> to detect infinite unfolding or memoisation<br/>Enable <b>back propagation</b> to watch for back-propagation of bindings onto non-declarative builtins", '450px');
?>
</p>
</div>
<p>Logging <?php
output_select('logging', array(0, 1, 2), array('Normal', 'Verbose', 'Very Verbose'), $logging);
?>
</p>
</td>
</tr>
</table>
</form>
<form action="new_annotations.php" method="post" onsubmit="return submitAnnotations(this.form)">
<div id="menu" style="visibility:hidden;"></div>
<?php
$prefs = get_preferences();
if (get_preference($prefs, 'display') == 'vert') {
?>
<h2>Source Code</h2>
<?php
