diff options
| -rwxr-xr-x | usr/local/www/edit.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/usr/local/www/edit.php b/usr/local/www/edit.php index 0589c18..0f53953 100755 --- a/usr/local/www/edit.php +++ b/usr/local/www/edit.php @@ -139,10 +139,6 @@ function sf() { document.forms[0].savetopath.focus(); } Rows: <input size="3" name="rows" value="<? echo $rows; ?>"> Cols: <input size="3" name="cols" value="<? echo $cols; ?>"> <?php endif; ?> - | - Highlighting: <input name="highlight" type="radio" value="yes" - <?php if($highlight == "yes") echo " checked"; ?>>Enabled - <input name="highlight" type="radio" value="no"<?php if($highlight == "no") echo " checked"; ?>>Disabled </td> </tr> </table> |
