From b77d978aaacf8edf664238eda232d44bef9cc345 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Mon, 20 May 2019 15:21:49 +0200
Subject: [PATCH] Only include the jquery-ui css files that are used

---
 src/sass/jquery-ui.js | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/src/sass/jquery-ui.js b/src/sass/jquery-ui.js
index 0fd7946d7602..616a34fb9e03 100644
--- a/src/sass/jquery-ui.js
+++ b/src/sass/jquery-ui.js
@@ -1,20 +1,20 @@
 import 'jquery-ui/themes/base/core.css';
-import 'jquery-ui/themes/base/accordion.css';
-import 'jquery-ui/themes/base/autocomplete.css';
-import 'jquery-ui/themes/base/button.css';
-import 'jquery-ui/themes/base/checkboxradio.css';
-import 'jquery-ui/themes/base/controlgroup.css';
+// import 'jquery-ui/themes/base/accordion.css';
+// import 'jquery-ui/themes/base/autocomplete.css';
+// import 'jquery-ui/themes/base/button.css';
+// import 'jquery-ui/themes/base/checkboxradio.css';
+// import 'jquery-ui/themes/base/controlgroup.css';
 import 'jquery-ui/themes/base/datepicker.css';
-import 'jquery-ui/themes/base/dialog.css';
+// import 'jquery-ui/themes/base/dialog.css';
 import 'jquery-ui/themes/base/draggable.css';
-import 'jquery-ui/themes/base/menu.css';
-import 'jquery-ui/themes/base/progressbar.css';
+// import 'jquery-ui/themes/base/menu.css';
+// import 'jquery-ui/themes/base/progressbar.css';
 import 'jquery-ui/themes/base/resizable.css';
-import 'jquery-ui/themes/base/selectable.css';
-import 'jquery-ui/themes/base/selectmenu.css';
-import 'jquery-ui/themes/base/sortable.css';
+// import 'jquery-ui/themes/base/selectable.css';
+// import 'jquery-ui/themes/base/selectmenu.css';
+// import 'jquery-ui/themes/base/sortable.css';
 import 'jquery-ui/themes/base/slider.css';
-import 'jquery-ui/themes/base/spinner.css';
-import 'jquery-ui/themes/base/tabs.css';
-import 'jquery-ui/themes/base/tooltip.css';
+// import 'jquery-ui/themes/base/spinner.css';
+// import 'jquery-ui/themes/base/tabs.css';
+// import 'jquery-ui/themes/base/tooltip.css';
 import 'jquery-ui/themes/base/theme.css';