value = Integer.parseInt(txt);
} catch (NumberFormatException ex) {
//do nothing
}
}
Margin m = style.getMargin();
if(m == null) {
m = new Margin(0, 0, 0, 0);
}
if(field == topInset) {
m = new Margin(m.left, m.right, value, m.bottom);
} else if(field == bottomInset) {
m = new Margin(m.left, m.right, m.top, value);
} else if(field == leftInset) {
m = new Margin(value, m.right, m.top, m.bottom);
} else if(field == rightInset) {
m = new Margin(m.left, value, m.top, m.bottom);
}
if(m.bottom == 0
&& m.left == 0
&& m.right == 0
&& m.top == 0) {