diff options
| author | Joakim Reinert <mail@jreinert.com> | 2015-04-18 18:58:11 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2015-05-05 12:21:26 +0200 |
| commit | 01581b3db2b617a5cf12ef7cf363b982dfc91d7b (patch) | |
| tree | b59b9e0ceeb38989dd41d2bfaee61669b38a832e /application/views/file | |
| parent | 369cd25a3dca4b54a3a8a332a11a55f7034f12c6 (diff) | |
Add functionality for choosing tab width in frontend
Diffstat (limited to 'application/views/file')
| -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') { ?> |