mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1dde27 | patch | commitdiff
jvergara
07.42.2010 82dd2f9585f0009fca096f09d707f69293adeaa6
refs
author jvergara <jvergara@localhost>
Thursday, January 7, 2010 15:42 +0100
committer jvergara <jvergara@localhost>
Thursday, January 7, 2010 15:42 +0100
commit82dd2f9585f0009fca096f09d707f69293adeaa6
tree e71f7bb53b30cd85447376a735ecc52661e390ba tree | zip | gz
parent 1dde2713c41907b046084888a1e8faf6bffc0120 view | diff 
Follow up to fix for issue 4417 (control panel manage tasks not showing tasks log message)
Layout improvements.
1 files modified
14 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/ManageTasksPanel.java 14 ●●●●● diff | view | raw | blame | history