|
|
@ -128,11 +128,11 @@ |
|
|
|
<form id="new_line_after_else"> |
|
|
|
<span class="code">ELSE</span> |
|
|
|
<label> |
|
|
|
<input type="radio" name="new_line_after_elsecase" value="NewLine">New Line</label> |
|
|
|
<input type="radio" name="new_line_after_elsecase" value="NewLine" checked="checked">New Line</label> |
|
|
|
<label> |
|
|
|
<input type="radio" name="new_line_after_elsecase" value="NoNewLine">No New Line</label> |
|
|
|
<label> |
|
|
|
<input type="radio" name="new_line_after_elsecase" value="None" checked="checked">None</label> |
|
|
|
<input type="radio" name="new_line_after_elsecase" value="None">None</label> |
|
|
|
</form> |
|
|
|
<form id="new_line_after_port"> |
|
|
|
<span class="code">PORT | PORT MAP</span> |
|
|
@ -158,11 +158,11 @@ |
|
|
|
<label for="remove_comments">Remove commments</label> | |
|
|
|
</div> |
|
|
|
<div class="checkbox inline" id="remove_lines_div"> |
|
|
|
<input type="checkbox" id="remove_lines"> |
|
|
|
<input type="checkbox" id="remove_lines" checked=true> |
|
|
|
<label for="remove_lines">Remove blank lines</label> | |
|
|
|
</div> |
|
|
|
<div class="checkbox inline" id="remove_report_div"> |
|
|
|
<input type="checkbox" id="remove_report"> |
|
|
|
<input type="checkbox" id="remove_report" checked=true> |
|
|
|
<label for="remove_report">Remove REPORT</label> |
|
|
|
</div> |
|
|
|
<br> |
|
|
@ -191,26 +191,26 @@ |
|
|
|
</div> |
|
|
|
</div> |
|
|
|
<div class="checkbox inline" id="sign_align_all_div"> |
|
|
|
<input type="checkbox" id="sign_align_all" onclick="alignAllSigns(true);"> |
|
|
|
<input type="checkbox" id="sign_align_all" onclick="alignAllSigns(true);" checked=true> |
|
|
|
<label for="sign_align_all">Align signs in all places</label> |
|
|
|
</div> |
|
|
|
<form class="inline" id="sign_align_mode_div"> |
|
|
|
<span> | Mode: </span> |
|
|
|
<label> |
|
|
|
<input type="radio" name="sign_align_modecase" value="local">Local</label> |
|
|
|
<input type="radio" name="sign_align_modecase" value="local" checked="checked">Local</label> |
|
|
|
<label> |
|
|
|
<input type="radio" name="sign_align_modecase" value="global">Global</label> |
|
|
|
</form> |
|
|
|
<div> |
|
|
|
<div class="checkbox inline" id="align_comments_div"> |
|
|
|
<input type="checkbox" id="align_comments"> |
|
|
|
<input type="checkbox" id="align_comments" checked=true> |
|
|
|
<label for="align_comments">Align comments</label> |
|
|
|
</div> |
|
|
|
</div> |
|
|
|
</fieldset> |
|
|
|
<div id="customise_indentation_div"> |
|
|
|
<div class="checkbox inline" id="use_space_div"> |
|
|
|
<input type="checkbox" id="use_space"> |
|
|
|
<input type="checkbox" id="use_space" checked=true> |
|
|
|
<label for="use_space">Customise Indentation: </label> |
|
|
|
</div>(tab is \t) |
|
|
|
<input type="text" id="customise_indentation" size="8" onKeyUp="counterDecode('customise_indentation', 'indent_s')" value=" " /> ( |
|
|
@ -594,4 +594,4 @@ |
|
|
|
</script> |
|
|
|
</body> |
|
|
|
|
|
|
|
</html> |
|
|
|
</html> |