Revert "Reduce tree node caption padding to make room for focus border"

This reverts commit 64f34f1c6ed5f910d5bf401a573d6b72539a437b.

The fix is not needed to prevent scrolling any more now that margin is
used instead of padding for reserving room for the layout's "margin".

diff --git a/WebContent/VAADIN/themes/reindeer/tree/tree.css b/WebContent/VAADIN/themes/reindeer/tree/tree.css
index 9f4083d42e415975a918b99bb48b33fab85a96d6..f72f61c545fc84bc03391c47040df5a0b8208f2c 100644 (file)
--- a/WebContent/VAADIN/themes/reindeer/tree/tree.css
+++ b/WebContent/VAADIN/themes/reindeer/tree/tree.css
@@ -26,7 +26,9 @@
        padding-left: 16px;
 }
 .v-tree-node-caption.v-tree-node-focused span{
-       padding: 0 1px; /* Make room for border */
+       padding-left: 1px;
+       padding-top: 0px;
+       padding-bottom: 0px;
 }
 .v-tree-node-focused span{
        border: 1px dotted black;       

diff --git a/WebContent/VAADIN/themes/runo/tree/tree.css b/WebContent/VAADIN/themes/runo/tree/tree.css
index e897236587e1944293fa17f70c5b30487c45bbfe..14061b8afbfa8f49960c767c9da2ab6bb6292b2a 100644 (file)
--- a/WebContent/VAADIN/themes/runo/tree/tree.css
+++ b/WebContent/VAADIN/themes/runo/tree/tree.css
@@ -34,7 +34,9 @@
        outline:none;   
 }
 .v-tree-node-caption.v-tree-node-focused span{
-       padding: 0;
+       padding-left: 1px;
+       padding-top: 0px;
+       padding-bottom: 0px;
 }
 .v-tree-node-focused span{
        border: 1px dotted black;