diff options
Diffstat (limited to 'application/views')
| -rw-r--r-- | application/views/file/html_paste_header.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/application/views/file/html_paste_header.php b/application/views/file/html_paste_header.php index f4d3021ec..474e06ccf 100644 --- a/application/views/file/html_paste_header.php +++ b/application/views/file/html_paste_header.php @@ -26,6 +26,14 @@ </ul> <div class="btn-group navbar-right" style="margin: 8px;"> <a id="linewrap-<?=$id; ?>" class="btn btn-default" rel="tooltip" title="Toggle wrapping of long lines">Linewrap</a> + <div class="btn-group"> + <a class="btn btn-default dropdown-toggle tabwidth-toggle" rel="tooltip" title="Set tab width in spaces" data-toggle="dropdown" href="#">Tab width: <span class="tabwidth-value"></span> <span class="caret"></span></a> + <div class="dropdown-menu tabwidth-dropdown"> + <form class="tabwidth-form"> + <input type="number" class="form-control" min="0"> + </form> + </div> + </div> <a href="<?php echo site_url($id."/plain") ?>" class="btn btn-default" rel="tooltip" title="View as plain text">Plain</a> <a href="<?php echo site_url($id) ?>" class="btn btn-default" rel="tooltip" title="View as raw file (org. mime type)">Raw</a> <?php if ($current_highlight === 'rmd') { ?> |