<div class="ui toggle checkbox">
<?php
printf('<input type="checkbox" value="1" name="%1$s" %2$s>', theme::option_form_name('dev_notes'), theme::get_option('dev_notes') ? 'checked' : '');
?>
<label>Enable Developer Notes</label>
</div>
</div>
<div class="ui top attached secondary inverted segment">
<h4 class="ui center aligned header">WordPress Theme Editor</h4>
</div>
<div class="ui bottom attached stacked segment">
<strong>WARNING:</strong> Editing a theme via WordPress's file editor is <strong>very dangerious!</strong>
<br><br>
Modifying a theme's files without knowing the proper programming languages can often lead to your site going down.
If you <i>must</i> edit this theme's files, it is highly recommended that you use an IDE.
<br><br>
<div class="field">
<div class="ui toggle checkbox">
<?php
printf('<input type="checkbox" value="1" name="%1$s" %2$s>', theme::option_form_name('theme_editor'), theme::get_option('theme_editor') ? 'checked' : '');
?>
<label>Allow Theme Editor</label>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div class="ui three column doubling grid">
<div class="column">
<h4 class="ui center aligned top attached black inverted header">Mobile Meta</h4>
<div class="ui bottom attached secondary segment">
<div class="ui form">
<div class="inline field">
<div class="ui toggle checkbox">
<?php
printf('<input type="checkbox" value="1" name="%1$s" %2$s>', theme::option_form_name('mobile_meta'), theme::get_option('mobile_meta') ? 'checked' : '');
?>
<label>Use Mobile Meta</label>
</div>
</div>
<div class="field">
<label>Recommended Mobile Screen Width (without the "px")</label>
<?php
printf('<input type="text" placeholder="450" name="%1$s" value="%2$s">', theme::option_form_name('mobile_size'), theme::get_option('mobile_size'));
?>
</div>
</div>
</div>
</div>
</div>
