From 01581b3db2b617a5cf12ef7cf363b982dfc91d7b Mon Sep 17 00:00:00 2001
From: Joakim Reinert <mail@jreinert.com>
Date: Sat, 18 Apr 2015 18:58:11 +0200
Subject: Add functionality for choosing tab width in frontend

---
 application/views/file/html_paste_header.php | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'application')

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') { ?>
-- 
cgit v1.2.3-24-g4f1b