|
|
@ -33,6 +33,10 @@ public class PaddingBoundPane extends BasicPane { |
|
|
|
bottom = new UISpinner(0, 1000, 1, 0); |
|
|
|
bottom = new UISpinner(0, 1000, 1, 0); |
|
|
|
left = new UISpinner(0, 1000, 1, 0); |
|
|
|
left = new UISpinner(0, 1000, 1, 0); |
|
|
|
right = new UISpinner(0, 1000, 1, 0); |
|
|
|
right = new UISpinner(0, 1000, 1, 0); |
|
|
|
|
|
|
|
top.setGlobalName(Inter.getLocText("FR-Designer_Layout-Padding")); |
|
|
|
|
|
|
|
bottom.setGlobalName(Inter.getLocText("FR-Designer_Layout-Padding")); |
|
|
|
|
|
|
|
left.setGlobalName(Inter.getLocText("FR-Designer_Layout-Padding")); |
|
|
|
|
|
|
|
right.setGlobalName(Inter.getLocText("FR-Designer_Layout-Padding")); |
|
|
|
double f = TableLayout.FILL; |
|
|
|
double f = TableLayout.FILL; |
|
|
|
double p = TableLayout.PREFERRED; |
|
|
|
double p = TableLayout.PREFERRED; |
|
|
|
double[] rowSize = {p, p, p, p}; |
|
|
|
double[] rowSize = {p, p, p, p}; |
|
|
@ -47,9 +51,9 @@ public class PaddingBoundPane extends BasicPane { |
|
|
|
JPanel panel = TableLayoutHelper.createGapTableLayoutPane(components, rowSize, columnSize, rowCount, IntervalConstants.INTERVAL_L2, IntervalConstants.INTERVAL_L1); |
|
|
|
JPanel panel = TableLayoutHelper.createGapTableLayoutPane(components, rowSize, columnSize, rowCount, IntervalConstants.INTERVAL_L2, IntervalConstants.INTERVAL_L1); |
|
|
|
panel.setBorder(BorderFactory.createEmptyBorder(5, 0, 10, 0)); |
|
|
|
panel.setBorder(BorderFactory.createEmptyBorder(5, 0, 10, 0)); |
|
|
|
this.add(panel); |
|
|
|
this.add(panel); |
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
public void update(AbstractMarginWidget marginWidget) { |
|
|
|
public void update(AbstractMarginWidget marginWidget) { |
|
|
|
marginWidget.setMargin(new PaddingMargin((int)top.getValue(), (int)left.getValue(), (int)bottom.getValue(), (int)right.getValue() )); |
|
|
|
marginWidget.setMargin(new PaddingMargin((int)top.getValue(), (int)left.getValue(), (int)bottom.getValue(), (int)right.getValue() )); |
|
|
|
} |
|
|
|
} |
|
|
@ -66,4 +70,5 @@ public class PaddingBoundPane extends BasicPane { |
|
|
|
right.setValue(paddingMargin.getRight()); |
|
|
|
right.setValue(paddingMargin.getRight()); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|