From c1982279f44e12700de18faa145f07eba164e46d Mon Sep 17 00:00:00 2001 From: Andrey Grinenko Date: Mon, 23 Feb 2015 01:26:45 +0300 Subject: [PATCH] use font from settings in both fileManager and Tabs - otherwise on high-density screens it is getting hard to work --- files.php | 3 +++ index.php | 3 +++ 2 files changed, 6 insertions(+) diff --git a/files.php b/files.php index 488eb04..ee93033 100644 --- a/files.php +++ b/files.php @@ -16,6 +16,9 @@ $isGitHubRepoDir = in_array($ICEcoder["root"],$ICEcoder['githubLocalPaths']); + diff --git a/index.php b/index.php index 1eeb6b9..7206d19 100644 --- a/index.php +++ b/index.php @@ -40,6 +40,9 @@ $isMac = strpos($_SERVER['HTTP_USER_AGENT'], "Macintosh")>-1 ? true : false; ICEcoder v <?php echo $ICEcoder["versionNo"];?> +