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