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

tuned UI for got it button

Browse Source 
(cherry picked from commit 21cd0c7711991ed7f8b7417b20cc8fb1f27bd8b9)
This commit is contained in:
Konstantin Bulenkov
2013-11-28 17:36:52 +01:00
parent e2cdb6df51
commit f1d09b51cd
3 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/status/ToolWindowsWidget.java
+2 -2
View File
@@ -189,6 +189,7 @@ class ToolWindowsWidget extends JLabel implements CustomStatusBarWidget, StatusB
super.addNotify();
final String key = "toolwindow.stripes.buttons.info.shown";
if (UISettings.getInstance().HIDE_TOOL_STRIPES && !PropertiesComponent.getInstance().isTrueValue(key)) {
PropertiesComponent.getInstance().setValue(key, String.valueOf(true));
final Alarm alarm = new Alarm();
alarm.addRequest(new Runnable() {
@Override
@@ -197,10 +198,9 @@ class ToolWindowsWidget extends JLabel implements CustomStatusBarWidget, StatusB
"tool.window.quick.access.message"))
.setDisposable(ToolWindowsWidget.this)
.show(new RelativePoint(ToolWindowsWidget.this, new Point(10, 0)), Balloon.Position.above);
PropertiesComponent.getInstance().setValue(key, String.valueOf(true));
Disposer.dispose(alarm);
}
}, 30000);
}, 20000);
}
}
platform/platform-impl/src/com/intellij/ui/GotItPanel.form
+1 -1
View File
@@ -54,7 +54,7 @@
<opaque value="false"/>
</properties>
<border type="empty">
<size top="2" left="10" bottom="2" right="8"/>
<size top="4" left="10" bottom="4" right="8"/>
</border>
<children>
<component id="366a9" class="javax.swing.JLabel">
platform/platform-impl/src/com/intellij/ui/GotItPanel.java
+3 -2
View File
@@ -42,8 +42,9 @@ public class GotItPanel {
GraphicsUtil.setupAAPainting(g);
((Graphics2D)g).setPaint(new GradientPaint(0, 0, new JBColor(new Color(77, 143, 253), new Color(52, 74, 100)), 0, getHeight(),
new JBColor(new Color(71, 135, 237), new Color(38, 53, 73))));
g.fillRoundRect(0,0,getWidth()-1, getHeight()-1, 5,5);
g.setColor(new JBColor(new Color(48, 121, 237), new Color(87, 93, 101)));
g.fillRoundRect(0, 0, getWidth() - 1, getHeight() - 1, 5, 5);
((Graphics2D)g).setStroke(new BasicStroke(UIUtil.isUnderDarcula() ? 2f : 1f));
g.setColor(new JBColor(new Color(71, 91, 167), new Color(78, 120, 161)));
g.drawRoundRect(0,0,getWidth()-1, getHeight()-1, 5,5);
}
};