From 89b25e7cc97f6fe221dfd41c4d463500f8a31bc1 Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Tue, 25 Jun 2019 23:58:09 -0400
Subject: [PATCH] Edit panel pin state.
---
cButton.java | 23 ++++++++++++++++++++++-
1 files changed, 22 insertions(+), 1 deletions(-)
diff --git a/cButton.java b/cButton.java
index fb1d9a3..faeb185 100644
--- a/cButton.java
+++ b/cButton.java
@@ -12,7 +12,7 @@
{
super(name);
- setMargin(new java.awt.Insets(1, 1, 1, 1));
+ setMargin(new java.awt.Insets(1, -8, 1, -8));
if (border)
setBorder(new javax.swing.border.EtchedBorder());
@@ -21,4 +21,25 @@
//setBorder(null); //new javax.swing.border.EmptyBorder(0,0,0,0));
}
}
+
+ cButton(javax.swing.ImageIcon icon, boolean border)
+ {
+ super(icon);
+
+ setMargin(new java.awt.Insets(-1, -8, -1, -8));
+
+//result = new JButton( icon );
+//result.setBorderPainted( false );
+//result.setContentAreaFilled( false );
+//
+//width = icon.getIconWidth();
+//height = icon.getIconHeight();
+//result.setPreferredSize( new Dimension( width, height ) );
+ if (border)
+ setBorder(new javax.swing.border.EtchedBorder());
+ else
+ {
+ //setBorder(null); //new javax.swing.border.EmptyBorder(0,0,0,0));
+ }
+ }
}
--
Gitblit v1.6.2