From 52d7d0819c9281f8d7f52a3443c7cb296fe04058 Mon Sep 17 00:00:00 2001 From: Andrey Grinenko Date: Fri, 20 Feb 2015 23:40:47 +0300 Subject: [PATCH] indentAuto - make configurable --- editor.php | 29 ++++++++++++++++++++++++++++- index.php | 1 + lang/chinese-simplified.php | 3 ++- lang/chinese-traditional.php | 3 ++- lang/dutch.php | 1 + lang/english.php | 1 + lang/french.php | 3 ++- lang/german.php | 3 ++- lang/italian.php | 1 + lang/norwegian.php | 1 + lang/persian.php | 3 ++- lang/portuguese_brazilian.php | 1 + lib/config___users-template.php | 1 + lib/ice-coder.js | 30 +++++++++++++++++++----------- lib/ice-coder.min.js | 28 ++++++++++++++-------------- lib/settings-screen.php | 16 +++++++++++++--- lib/settings-update.php | 5 +++-- 17 files changed, 94 insertions(+), 36 deletions(-) diff --git a/editor.php b/editor.php index 1448d8b..7d1e578 100644 --- a/editor.php +++ b/editor.php @@ -166,7 +166,18 @@ h2 {color: rgba(0,198,255,0.7)} "; + echo ""; } ?> \ No newline at end of file