mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
[kirillk] tabs: croppped icons fixed
This commit is contained in:
@@ -144,8 +144,8 @@ public class TabLabel extends JPanel {
|
||||
int dXs = 0;
|
||||
int dY = 0;
|
||||
int dYs = 0;
|
||||
int selected = 1;
|
||||
int plain = 2;
|
||||
int selected = getSelectedOffset();
|
||||
int plain = getNonSelectedOffset();
|
||||
|
||||
switch (pos) {
|
||||
case bottom:
|
||||
@@ -175,12 +175,33 @@ public class TabLabel extends JPanel {
|
||||
super.paint(g);
|
||||
|
||||
if (myTabs.getSelectedInfo() != myInfo) {
|
||||
g.translate(dX, -dY);
|
||||
g.translate(-dX, -dY);
|
||||
} else {
|
||||
g.translate(dX, dY);
|
||||
g.translate(-dXs, -dYs);
|
||||
}
|
||||
}
|
||||
|
||||
private int getNonSelectedOffset() {
|
||||
return 2;
|
||||
}
|
||||
|
||||
private int getSelectedOffset() {
|
||||
return 1;
|
||||
}
|
||||
|
||||
@Override
|
||||
public Dimension getPreferredSize() {
|
||||
final Dimension size = super.getPreferredSize();
|
||||
|
||||
final JBTabsPosition pos = myTabs.getTabsPosition();
|
||||
switch (pos) {
|
||||
case top: case bottom: size.height += getSelectedOffset(); break;
|
||||
case left: case right: size.width += getSelectedOffset(); break;
|
||||
}
|
||||
|
||||
return size;
|
||||
}
|
||||
|
||||
private void handlePopup(final MouseEvent e) {
|
||||
if (e.getClickCount() != 1 || !e.isPopupTrigger()) return;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user