tree ab0845fcb5b46103eefed1b68cc382c769fa36cf
parent 5c507be43d204b0042570c5d6b018133d8d897a8
author gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1201559072 +0000
committer gwt.team.ecc <gwt.team.ecc@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1201559072 +0000

Description:
It would be useful if you could add seperators to MenuBar's, a feature in most modern GUI's. You are able to add in items to a menubar that trigger a dummy command, but they are still selected.

Fix:
A new method in MenuBar called addSeparator, which adds an unselectable MenuItemSeparator to the MenuBar.  MenuItemSeparators can also be removed, just like normal MenuItems.

Patch by:jlabanca
Review by:ecc

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1740 8db76d5a-ed1c-0410-87a9-c151d255dfc7