diff --git a/editor.php b/editor.php
index fe27af9..eeff25a 100644
--- a/editor.php
+++ b/editor.php
@@ -10,36 +10,37 @@ $t = $text['editor'];
ICEcoder v <?php echo $ICEcoder["versionNo"];?> editor
-/lib/codemirror.css">
-/addon/hint/show-hint.css">
-/addon/lint/lint.css">
+/lib/codemirror.css?microtime=">
+/addon/hint/show-hint.css?microtime=">
+/addon/lint/lint.css?microtime=">
-
+
';
+ echo '
-
+
+
';
+ echo '';
};?>
';
+ echo '';
};?>
';
+ echo '';
};?>
">
@@ -74,8 +75,8 @@ h2 {color: rgba(0,198,255,0.7)}
.diffGreyLighter {background: #888 !important; color: #222 !important}
.diffNone {}
-
-
+
+
diff --git a/files.php b/files.php
index 7612bdf..488eb04 100644
--- a/files.php
+++ b/files.php
@@ -12,10 +12,10 @@ $isGitHubRepoDir = in_array($ICEcoder["root"],$ICEcoder['githubLocalPaths']);
ICEcoder v <?php echo $ICEcoder["versionNo"];?> file manager
-
-
-
-
+
+
+
+
diff --git a/lib/github-manager.php b/lib/github-manager.php
index a43d24a..7ea55be 100644
--- a/lib/github-manager.php
+++ b/lib/github-manager.php
@@ -168,7 +168,7 @@ if (!$demoMode && isset($_SESSION['loggedIn']) && $_SESSION['loggedIn'] && isset
ICEcoder <?php echo $ICEcoder["versionNo"];?> GitHub manager
-
+
diff --git a/lib/github.php b/lib/github.php
index e8bdfea..c581ebe 100644
--- a/lib/github.php
+++ b/lib/github.php
@@ -23,7 +23,7 @@ if (!$demoMode && isset($_SESSION['loggedIn']) && $_SESSION['loggedIn'] && isset
echo '
-
+
-
+
+
-
+
+
diff --git a/lib/help.php b/lib/help.php
index 807b70e..c915729 100644
--- a/lib/help.php
+++ b/lib/help.php
@@ -10,7 +10,7 @@ $t = $text['help'];
ICEcoder <?php echo $ICEcoder["versionNo"];?> help
-
+
diff --git a/lib/login.php b/lib/login.php
index b639fec..a9ae2c6 100644
--- a/lib/login.php
+++ b/lib/login.php
@@ -14,7 +14,7 @@ echo $ICEcoder["password"] == "" && !$ICEcoder["multiUser"] ? "Setup" : "Login";
-
+
diff --git a/lib/multiple-results.php b/lib/multiple-results.php
index 857ae9e..5cf266d 100644
--- a/lib/multiple-results.php
+++ b/lib/multiple-results.php
@@ -15,7 +15,7 @@ if(isset($_GET['selectedFiles'])) {
ICEcoder <?php echo $ICEcoder["versionNo"];?> multiple results screen
-
+
diff --git a/lib/plugins-manager.php b/lib/plugins-manager.php
index c21542b..2ce107c 100644
--- a/lib/plugins-manager.php
+++ b/lib/plugins-manager.php
@@ -193,7 +193,7 @@ function deletePlugin($dir) {
ICEcoder <?php echo $ICEcoder["versionNo"];?> plugins manager
-
+
diff --git a/lib/properties.php b/lib/properties.php
index bf21a29..615a475 100644
--- a/lib/properties.php
+++ b/lib/properties.php
@@ -17,7 +17,7 @@ if (!file_exists($fileName) || strpos(str_replace("\\","/",$fileName),$docRoot)
ICEcoder <?php echo $ICEcoder["versionNo"];?> file/folder properties
-
+
diff --git a/lib/settings-screen.php b/lib/settings-screen.php
index 77876db..e0b6015 100644
--- a/lib/settings-screen.php
+++ b/lib/settings-screen.php
@@ -10,9 +10,9 @@ $t = $text['settings-screen'];
ICEcoder <?php echo $ICEcoder["versionNo"];?> settings screen
-
-/lib/codemirror.css">
-
+
+/lib/codemirror.css?microtime=">
+
-
+
'.PHP_EOL;
+ echo '">'.PHP_EOL;
}
?>
diff --git a/lib/settings-update.php b/lib/settings-update.php
index 1b8cc7a..668c7dd 100644
--- a/lib/settings-update.php
+++ b/lib/settings-update.php
@@ -69,6 +69,7 @@ if (!$demoMode && isset($_SESSION['loggedIn']) && $_SESSION['loggedIn'] && isset
// Work out the theme to use now
$ICEcoder["theme"]=="default" ? $themeURL = 'lib/editor.css' : $themeURL = $ICEcoder["codeMirrorDir"].'/theme/'.$ICEcoder["theme"].'.css';
+ $themeURL .= "?microtime=".microtime(true);
// Do we need a file manager refresh?
$refreshFM = $_POST['changedFileSettings']=="true" ? "true" : "false";
diff --git a/test/index.php b/test/index.php
index cb20370..b27c96a 100644
--- a/test/index.php
+++ b/test/index.php
@@ -8,7 +8,7 @@ Open file, update document, save file, highlight line, add tag wrappers, duplica
ICEcoder Test Suite
-
+