[GRASS-user] problem with multiple selection on layer manager

Hi,
trying to drop a set of maps from my display, I noticed the multiple map
selection is not possible within the layer manager window through Ctrl
+click or Shift+click.

But it is possible to perform from the keyboard : Ctrl+up/down arrows.

Oh, I forgot : I work on grass65 svn version.

Vincent