From 831770e7d89400a754dc572073f193227c8592a4 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sat, 20 Apr 2013 16:11:20 +0100
Subject: [PATCH] Updateable font size

Font size is set from config setting.
New font size setting available for user input. On changing this, it
updates the CSS class.
---
 lib/settings-screen.php | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/lib/settings-screen.php b/lib/settings-screen.php
index b82f37d..fe92f60 100644
--- a/lib/settings-screen.php
+++ b/lib/settings-screen.php
@@ -11,7 +11,7 @@
 <script src="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/lib/codemirror-compressed.js"></script>
 
 <style type="text/css">
-.CodeMirror {position: absolute; width: 420px; height: 240px; font-size: 13px}
+.CodeMirror {position: absolute; width: 409px; height: 240px; font-size: <?php echo $ICEcoder["fontSize"];?>}
 .CodeMirror-scroll {overflow: hidden}
 /* Make sure this next one remains the 3rd item, updated with JS */
 .cm-tab:after {position: relative; display: inline-block; width: 0; left: -1.4em; overflow: visible; color: #aaa; content: "<?php if($ICEcoder["visibleTabs"]) {echo '\21e5';};?>";}
@@ -139,7 +139,7 @@ for ($i=0;$i<count($themeArray);$i++) {
 ?>
 </select>
 
-<span style="position: absolute; margin: -15px 0 0 20px">
+<span style="position: absolute; margin: -15px 0 0 10px">
 	line wrapping<br>
 	<select onchange="showButton()" name="lineWrapping">
 		<option value="true"<?php if($ICEcoder["lineWrapping"]) {echo " selected";};?>>yes</option>
@@ -147,7 +147,7 @@ for ($i=0;$i<count($themeArray);$i++) {
 	</select>
 </span>
 
-<span style="position: absolute; margin: -15px 0 0 120px">
+<span style="position: absolute; margin: -15px 0 0 100px">
 	indent type<br>
 	<select onchange="showButton()" name="indentWithTabs">
 		<option value="true"<?php if($ICEcoder["indentWithTabs"]) {echo " selected";};?>>tabs</option>
@@ -155,10 +155,15 @@ for ($i=0;$i<count($themeArray);$i++) {
 	</select>
 </span>
 
-<span style="position: absolute; margin: -15px 0 0 220px">
-	indent size <span style="font-size: 10px; color: #888">chars</span><br>
+<span style="position: absolute; margin: -15px 0 0 190px">
+	indent size <br>
 	<input type="text" name="indentSize" id="indentSize" style="width: 30px" onkeydown="showButton()" onkeyup="changeIndentSize()" value="<?php echo $ICEcoder["indentSize"];?>">
 </span>
+
+<span style="position: absolute; margin: -15px 0 0 267px">
+	font size <br>
+	<input type="text" name="fontSize" id="fontSize" style="width: 44px" onkeydown="showButton()" onkeyup="changeFontSize()" value="<?php echo $ICEcoder["fontSize"];?>">
+</span>
 <br><br>
 
 <textarea id="code" name="code">
@@ -205,6 +210,12 @@ function changeIndentSize() {
 	editor.setOption("tabSize", indentSize);
 }
 
+function changeFontSize() {
+	cMCSS = document.styleSheets[2];
+	cMCSS.rules ? strCSS = 'rules' : strCSS = 'cssRules';
+	cMCSS[strCSS][0].style['fontSize'] = document.getElementById("fontSize").value;
+}
+
 var showButton = function() {
 	document.getElementById('updateButton').style.opacity = 1;
 }