From daa43e05727d4cd4d7b261a5be3faefab4263dcd Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Tue, 11 Dec 2018 14:25:41 +0300 Subject: [PATCH] use codeflask for user css editor --- classes/pref/prefs.php | 7 +------ css/default.css | 6 ++++++ css/default.css.map | 2 +- css/prefs.less | 8 ++++++++ js/PrefHelpers.js | 44 +++++++++++++++++++++++++++--------------- lib/codeflask.min.js | 1 + prefs.php | 3 +++ themes/night.css | 6 ++++++ themes/night.css.map | 2 +- 9 files changed, 55 insertions(+), 24 deletions(-) create mode 100644 lib/codeflask.min.js diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 4af0bef33..7494bc610 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -993,12 +993,7 @@ class Pref_Prefs extends Handler_Protected { print_hidden("method", "setpref"); print_hidden("key", "USER_STYLESHEET"); - print "
"; - print ""; - print "
"; + print "
$value
"; print "
"; print "