(In reply to Chris Cheney from comment #7)
> Presumably the extensions that Gnome itself ships as opposed to ones that
> 3rd parties supply on http://extensions.gnome.org/
No, you don't want that in the extensions. Each extension is separate, so what you are asking for here is that apps-menu and places-menu *both* add top bars to non-primary monitors. We are definitely not going to add two or more stacked panels at the top.
What you probably want instead is an option in gnome-shell to put top bars on non-primary monitors, and the aforementioned extensions to handle that case.
(In reply to Chris Cheney from comment #7) extensions. gnome.org/
> Presumably the extensions that Gnome itself ships as opposed to ones that
> 3rd parties supply on http://
No, you don't want that in the extensions. Each extension is separate, so what you are asking for here is that apps-menu and places-menu *both* add top bars to non-primary monitors. We are definitely not going to add two or more stacked panels at the top.
What you probably want instead is an option in gnome-shell to put top bars on non-primary monitors, and the aforementioned extensions to handle that case.