Mode panel not adjusted after hiding icons

[skyper]

1. right click on mode icons on the upper left panel and hide some
2. have a look at the panel

Instead of moving remaining icons up and use the available space the icons and the now empty space remain. This way there is no advantage in hiding the icons.

Repository Root: http://josm.openstreetmap.de/svn
Build-Date: 2012-04-07 01:32:31
Last Changed Author: Don-vip
Revision: 5171
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
URL: http://josm.openstreetmap.de/svn/trunk
Last Changed Date: 2012-04-06 15:56:23 +0200 (Fri, 06 Apr 2012)
Last Changed Rev: 5171

Identification: JOSM/1.5 (5171 en_GB)
Memory Usage: 189 MB / 682 MB (95 MB allocated, but free)
Java version: 1.6.0_24, Sun Microsystems Inc., OpenJDK 64-Bit Server VM
Operating system: Linux
Dataset consistency test: No problems found

Plugin: conflation
Plugin: mirrored_download (28108)
Plugin: terracer (27852)
Plugin: utilsplugin2 (28045)
Plugin: wikipedia (28187)

[Don-vip]

Cannot reproduce, there is no empty space after hiding a mode icon. Tested with r5171:

Identification: JOSM/1.5 (5171 fr)
Java version: 1.7.0_03, Oracle Corporation, Java HotSpot(TM) 64-Bit Server VM
Operating system: Windows 7

[skyper]

Replying to Don-vip:

Cannot reproduce, there is no empty space after hiding a mode icon. Tested with r5171:

Identification: JOSM/1.5 (5171 fr)
Java version: 1.7.0_03, Oracle Corporation, Java HotSpot(TM) 64-Bit Server VM
Operating system: Windows 7

OK it only happens with "gtk+" and "nimbus" look and feel.

[skyper]

Replying to skyper:

OK it only happens with "gtk+" and "nimbus" look and feel.

and only with java 1.6

[Don-vip]

Replying to skyper:

and only with java 1.6

=> Wontfix. We're trying to switch to Java 7 anyway.