MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

RunDashboard: move run content toolbar to the right

Browse Source 
- fix JBTabs background painting for left and right tabs positions
This commit is contained in:
Konstantin Aleev
2017-07-20 12:26:28 +03:00
parent 92d09e7606
commit 9257a5198b
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java
+3 -2
View File
@@ -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;