smartxml: Node.detach informs its caller if merge was performed
[fnpeditor.git] / src / editor / styles / mixins.less
index 3a14f31..28effc8 100644 (file)
@@ -1,5 +1,5 @@
 .rng-mixin-scrollbar {
 .rng-mixin-scrollbar {
-    width: 9px;
+    width: 12px;
 }
 
 .rng-mixin-scrollbar-track {
 }
 
 .rng-mixin-scrollbar-track {