From 7642ce4e2c863235bbbcb3d518da1c7d1d937dce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A9ry=20Debongnie?= Date: Fri, 3 May 2019 10:30:20 +0200 Subject: [PATCH] [FIX] playground: make vertical resize work better closes #72 --- playground/playground.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/playground/playground.css b/playground/playground.css index f5368101..bbe61778 100644 --- a/playground/playground.css +++ b/playground/playground.css @@ -95,14 +95,15 @@ body { .tabBar { color: white; height: 22px; - width: 170px; margin-top: -22px; padding-left: 5px; user-select: none; + width: 170px; } .tabBar.resizeable { cursor: row-resize; + width: 100%; } .tab {