summaryrefslogtreecommitdiffstats
path: root/application/views/file/html_paste_header.php
diff options
context:
space:
mode:
authorJoakim Reinert <mail@jreinert.com>2015-04-18 18:58:11 +0200
committerFlorian Pritz <bluewind@xinu.at>2015-05-05 12:21:26 +0200
commit01581b3db2b617a5cf12ef7cf363b982dfc91d7b (patch)
treeb59b9e0ceeb38989dd41d2bfaee61669b38a832e /application/views/file/html_paste_header.php
parent369cd25a3dca4b54a3a8a332a11a55f7034f12c6 (diff)
Add functionality for choosing tab width in frontend
Diffstat (limited to 'application/views/file/html_paste_header.php')
-rw-r--r--application/views/file/html_paste_header.php8
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') { ?>