private void updateChildName() { childName = child.getName(); }
public static void setAlignment(Widget widget, Alignment alignment) { widget.getProperties().put(ALIGNMENT_KEY, alignment); }
private void updateRootName() { rootName = root.getName(); }
public static Alignment getAlignment(Widget widget) { return (Alignment) widget.getProperties().get(ALIGNMENT_KEY); }