diff --git a/src/antidote/org/apache/tools/ant/gui/modules/edit/PropertyEditor.java b/src/antidote/org/apache/tools/ant/gui/modules/edit/PropertyEditor.java index 0afab4834..5bba64fd7 100644 --- a/src/antidote/org/apache/tools/ant/gui/modules/edit/PropertyEditor.java +++ b/src/antidote/org/apache/tools/ant/gui/modules/edit/PropertyEditor.java @@ -130,6 +130,7 @@ public class PropertyEditor extends AntModule { } } + _container.validate(); _container.repaint(); }