Re: Application menus

2013-07-08 Thread David Woodhouse
On Mon, 2013-07-08 at 12:53 -0500, Michael Catanzaro wrote: > > I really hope we can agree on and enforce a solution that provides > consistency between apps that retain traditional menubars. Maybe it'd be > easier to agree on duplicating the items than moving them. That would certainly alleviate

Re: Application menus

2013-07-08 Thread Michael Catanzaro
On Fri, 2013-07-05 at 11:08 +0100, Emmanuele Bassi wrote: > > 1) For applications that retain a traditional menu bar, there's > > inconsistency in whether options added to the app menu are also removed > > from the traditional menu. E.g. Gedit and Totem (3.6/3.8) removed Help, > > About, and Prefer

Re: Application menus

2013-07-08 Thread drago01
On Mon, Jul 8, 2013 at 6:46 PM, Federico Mena Quintero wrote: > Hey, thanks :) That bug about focusing the wrong window when you flip > workspaces / monitors is the one giving me the most grief right now > (#687850). > > There's another bug which I can't find right now, about gnome-shell > movin

Re: Application menus

2013-07-08 Thread Federico Mena Quintero
On Sun, 2013-07-07 at 23:26 -0400, Jasper St. Pierre wrote: > Where a bug is doesn't matter: all GNOME Shell hackers work on mutter > and vice versa. Mutter exists just so we can reuse metacity's solid WM > core, rather than reinventing it. If there's bugs that you feel are > getting attention, I'l

Re: Application menus

2013-07-08 Thread David Woodhouse
On Sun, 2013-07-07 at 14:10 +0200, bugs wrote: > > Or did I miss the obvious solution? Well, there's always the revolutionary idea of putting the application's menu somewhere near the application, rather than two feet away at the opposite corner of the screen. But if hiding it somewhere a long w

build.gnome.org: hardware issues

2013-07-08 Thread Andrea Veri
Hi, the machine that was currently hosting build.gnome.org went down the past thursday after an hardware problem, we're currently in touch with the manufacturer for having the relevant piece substituted as soon as possible. As a note, the 'No Route to Host' during git pushes is expected and relat

Re: Application menus

2013-07-08 Thread Luc Pionchon
>> > >> > Because it's unsupported. >> > >> > As someone who works on mutter and gnome-shell, I'm curious: since >> > when is it unsupported? I've never heard anybody say this before. >> >> It's not the default, it's not togglable in System Settings, and it's >> not been designed for. That

Re: Application menus

2013-07-08 Thread Jasper St. Pierre
On Mon, Jul 8, 2013 at 2:57 AM, Bastien Nocera wrote: > On Mon, 2013-07-08 at 02:52 -0400, Jasper St. Pierre wrote: > > > > > > > > On Mon, Jul 8, 2013 at 2:48 AM, Bastien Nocera > > wrote: > > On Sun, 2013-07-07 at 15:05 +0200, Tomasz Torcz wrote: > > > > > On Fri, Jul 05, 2013