From e3846576687579ea34285e195a5873431adf730c Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Wed, 29 Mar 2017 03:50:48 +0300
Subject: [PATCH] Use our beautify-css-mod.js with more options

---
 edit.js    | 2 +-
 storage.js | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/edit.js b/edit.js
index 32bb7716..44a03fc7 100644
--- a/edit.js
+++ b/edit.js
@@ -1019,7 +1019,7 @@ function beautify(event) {
 		doBeautify();
 	} else {
 		var script = document.head.appendChild(document.createElement("script"));
-		script.src = "beautify/beautify-css.js";
+		script.src = "beautify/beautify-css-mod.js";
 		script.onload = doBeautify;
 	}
 	function doBeautify() {
diff --git a/storage.js b/storage.js
index 9ff2ed9e..3f3c3e33 100644
--- a/storage.js
+++ b/storage.js
@@ -553,7 +553,8 @@ prefs = prefs || new function Prefs() {
       newline_between_properties: true,
       newline_before_close_brace: true,
       newline_between_rules: false,
-      end_with_newline: false
+      end_with_newline: false,
+      space_around_selector_separator: true,
     },
     'editor.lintDelay': 500,        // lint gutter marker update delay, ms
     'editor.lintReportDelay': 4500, // lint report update delay, ms