Added some improvements

This commit is contained in:
Robert Vokac 2024-03-09 18:25:42 +00:00
parent 7b649b37a7
commit 4ae7e1e962
No known key found for this signature in database
GPG Key ID: 693D30BEE3329055
2 changed files with 5 additions and 5 deletions

View File

@ -29,7 +29,7 @@ import java.awt.event.MouseMotionListener;
public class Widget extends JPanel implements
GetProperty {
public static final int CLOSE_BUTTON_SIDE = 20;
private static final int CLOSE_BUTTON_SIDE = 25;
protected static final Color FOREGROUND_COLOR = new Color(220, 220, 220);
protected static final Color FOREGROUND_COLOR2 = new Color(210, 210, 210);
protected static final Color BACKGROUND_COLOR = new Color(238, 238, 238);
@ -209,7 +209,7 @@ public class Widget extends JPanel implements
brush.setColor(CLOSE_BUTTON_FOREGROUND_COLOR);
Graphics2D brush2d = (Graphics2D) brush;
brush2d.setStroke(new BasicStroke(2f));
int offset = 4;
int offset = 6;
brush.drawLine(width - CLOSE_BUTTON_SIDE - 1 + offset, 0 + 1 + offset,
width - 0 * CLOSE_BUTTON_SIDE - 1 - offset,
0 + CLOSE_BUTTON_SIDE + 1 - offset);

View File

@ -78,9 +78,9 @@ public class WalkingHumanProgress extends Widget implements
brush.setColor(visibility.isStronglyColored() ? Color.BLUE :
visibility.isWeaklyColored() ? Color.GRAY :
Color.LIGHT_GRAY);
if(mouseOver) {
brush.drawRect(1,1,getWidth() - 2, getHeight() - 2);
}
// if(mouseOver) {
// brush.drawRect(1,1,getWidth() - 2, getHeight() - 2);
// }
brush.setFont(SwingUtils.MEDIUM_MONOSPACE_FONT);
int y = SwingUtils.MARGIN;
for (String line : lines) {