2014-08-04 04:14:14 +02:00
|
|
|
<div id="file_names">
|
2014-08-10 19:21:58 +02:00
|
|
|
|
2014-08-04 04:14:14 +02:00
|
|
|
<div class="well">
|
|
|
|
<fieldset>
|
|
|
|
<legend>Input and Output</legend>
|
|
|
|
<div class="form-group">
|
|
|
|
<label class="control-label" for="input_name">Input</label>
|
|
|
|
<div class="controls">
|
|
|
|
<input type="text" name="input_name" id="input_name" placeholder="input" />
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<div class="form-group">
|
|
|
|
<label class="control-label" for="output_name">Output</label>
|
|
|
|
<div class="controls">
|
|
|
|
<input type="text" name="output_name" id="output_name" placeholder="output" />
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<br/>
|
2014-08-10 19:21:58 +02:00
|
|
|
<input type="button" class="btn btn-large btn-primary" name="generate" id="web_generate" value="Generate" />
|
2014-08-04 04:14:14 +02:00
|
|
|
</fieldset>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="well">
|
|
|
|
<fieldset>
|
|
|
|
<legend>Your command line:</legend>
|
|
|
|
<textarea name="command_line" id="command_line" rows="3" cols="100"></textarea>
|
|
|
|
</fieldset>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
</div> <!-- container -->
|