From 9257a5198bb31b2a421bbefbe7de083b3271b876 Mon Sep 17 00:00:00 2001
From: Konstantin Aleev <konstantin.aleev@jetbrains.com>
Date: Thu, 20 Jul 2017 12:16:37 +0300
Subject: [PATCH] RunDashboard: move run content toolbar to the right

- fix JBTabs background painting for left and right tabs positions
---
 .../src/com/intellij/ui/tabs/impl/JBEditorTabs.java          | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java
index 39b8af146373..b454fbb88992 100644
--- a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java
+++ b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java
@@ -208,8 +208,9 @@ public class JBEditorTabs extends JBTabsImpl {
     Rectangle beforeTabs;
     Rectangle afterTabs;
     if (vertical) {
-      beforeTabs = new Rectangle(insets.left, insets.top, getWidth(), minOffset - insets.top);
-      afterTabs = new Rectangle(insets.left, maxOffset, getWidth(),
+      int width = maxLength - insets.left - insets.right;
+      beforeTabs = new Rectangle(insets.left, insets.top, width, minOffset - insets.top);
+      afterTabs = new Rectangle(insets.left, maxOffset, width,
                                 r2.height - maxOffset - insets.top - insets.bottom);
     } else {
       int y = r2.y + insets.top;