mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8140b0 | patch | commitdiff
jvergara
13.18.2009 26123fe47b4cc710e9c66f145764125ff0c8e6c1
refs
author jvergara <jvergara@localhost>
Monday, July 13, 2009 13:18 +0200
committer jvergara <jvergara@localhost>
Monday, July 13, 2009 13:18 +0200
commit26123fe47b4cc710e9c66f145764125ff0c8e6c1
tree dfeeb00869607ac57b42e97c7a37221f7d86c745 tree | zip | gz
parent 8140b0a19865e2754ad927906a607a86533f426c view | diff 
Fix a layout issue when the server is stopped or the user did not provide authentication in the manage tasks panel.
1 files modified
1 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/ManageTasksPanel.java 1 ●●●●● diff | view | raw | blame | history