On Sun, Apr 26, 2015 at 3:47 AM, Marcel Taeumel
<
[hidden email]> wrote:
> Hmm... having this, you can just drop buttons onto it to extend it. For the
+1. I use that a lot. I see no reason to prevent the user from
extending their IDE...
> world main docking bar, however, this would be hardly persistent as "Rebuild
> menus" removes them.
"Rebuild menus" is a developers function. A developer is tough enough
to deal with that.