|
|
@ -51,10 +51,10 @@ public class DarkTableUI extends DarkTableUIBridge { |
|
|
|
private final PropertyChangeListener propertyChangeListener = e -> { |
|
|
|
private final PropertyChangeListener propertyChangeListener = e -> { |
|
|
|
String key = e.getPropertyName(); |
|
|
|
String key = e.getPropertyName(); |
|
|
|
if ("showHorizontalLines".equals(key)) { |
|
|
|
if ("showHorizontalLines".equals(key)) { |
|
|
|
boolean b = (boolean) e.getNewValue(); |
|
|
|
boolean b = Boolean.TRUE.equals(e.getNewValue()); |
|
|
|
table.setRowMargin(b ? 1 : 0); |
|
|
|
table.setRowMargin(b ? 1 : 0); |
|
|
|
} else if ("showVerticalLines".equals(key)) { |
|
|
|
} else if ("showVerticalLines".equals(key)) { |
|
|
|
boolean b = (boolean) e.getNewValue(); |
|
|
|
boolean b = Boolean.TRUE.equals(e.getNewValue()); |
|
|
|
table.getColumnModel().setColumnMargin(b ? 1 : 0); |
|
|
|
table.getColumnModel().setColumnMargin(b ? 1 : 0); |
|
|
|
} else if ("ancestor".equals(key)) { |
|
|
|
} else if ("ancestor".equals(key)) { |
|
|
|
Object oldVal = e.getOldValue(); |
|
|
|
Object oldVal = e.getOldValue(); |
|
|
|