mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/ManageTasksPanel.java @@ -868,6 +868,7 @@ !errorPane.isVisible()); tableScroll.setVisible(visible); cancelTask.setVisible(visible); detailsPanel.setVisible(visible); } }); }