From c1a35e10534e28344ca1ccdceae33ca0bbd4594c Mon Sep 17 00:00:00 2001
From: chylex <info@chylex.com>
Date: Sun, 2 Apr 2017 01:48:16 +0200
Subject: [PATCH] Fix missing border-radius style on some scrollbars in
edit-design plugin
---
Resources/Plugins/edit-design/browser.js | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Resources/Plugins/edit-design/browser.js b/Resources/Plugins/edit-design/browser.js
index dfd31384..7d15016c 100644
--- a/Resources/Plugins/edit-design/browser.js
+++ b/Resources/Plugins/edit-design/browser.js
@@ -262,6 +262,9 @@ enabled(){
this.css.insert(".scroll-styled-h:not(.antiscroll-inner)::-webkit-scrollbar { height: 8px }");
this.css.insert(".scroll-styled-v::-webkit-scrollbar-thumb { border-radius: 0 }");
this.css.insert(".scroll-styled-h::-webkit-scrollbar-thumb { border-radius: 0 }");
+ this.css.insert(".antiscroll-scrollbar { border-radius: 0 }");
+ this.css.insert(".antiscroll-scrollbar-vertical { margin-top: 0 }");
+ this.css.insert(".antiscroll-scrollbar-horizontal { margin-left: 0 }");
}
if (this.config.optimizeAnimations){