mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 626ea4 | patch | commitdiff
jvergara
07.44.2010 930ef49307997cf95a2b977daf4f9d923f5edaaf
refs
author jvergara <jvergara@localhost>
Thursday, January 7, 2010 15:44 +0100
committer jvergara <jvergara@localhost>
Thursday, January 7, 2010 15:44 +0100
commit930ef49307997cf95a2b977daf4f9d923f5edaaf
tree 09e549d6bfc87b86c464b8fb3b91f438c560eb66 tree | zip | gz
parent 626ea48f6554a814178923f9010204e21fd70ab1 view | diff 
Follow up to fix for issue 4417 (control panel manage tasks not showing tasks log message)
Layout improvements.

1 files modified
1 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/ui/ManageTasksPanel.java 1 ●●●●● diff | view | raw | blame | history