mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 197c42 | patch | commitdiff
jvergara
07.42.2010 626ea48f6554a814178923f9010204e21fd70ab1
refs
author jvergara <jvergara@localhost>
Thursday, January 7, 2010 15:42 +0100
committer jvergara <jvergara@localhost>
Thursday, January 7, 2010 15:42 +0100
commit626ea48f6554a814178923f9010204e21fd70ab1
tree ff9300db2c9680ac2d71530ccb5a50d4af4f681c tree | zip | gz
parent 197c421a7592c595a3a1cdf0b691434abf1164d1 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
opends/src/guitools/org/opends/guitools/controlpanel/ui/ManageTasksPanel.java 14 ●●●●● diff | view | raw | blame | history