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 | 27 ++++++++++++++++++++++++++-
1 files changed, 26 insertions(+), 1 deletions(-)
diff --git a/cButton.java b/cButton.java
index 1a6a27a..faeb185 100644
--- a/cButton.java
+++ b/cButton.java
@@ -12,9 +12,34 @@
{
super(name);
+ setMargin(new java.awt.Insets(1, -8, 1, -8));
+
if (border)
setBorder(new javax.swing.border.EtchedBorder());
else
- setBorder(new javax.swing.border.EmptyBorder(0,0,0,0));
+ {
+ //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