Re: Proposal: revisiting menus in Gnome

2017-04-10 Thread Alberto Ruiz
Hey Greg, First of all, thanks a lot, one can tell about this email that you care passionately about GNOME, so thanks for reaching out! The design team can certainly use help :-) I will leave it up to them to route you to the right venue to have a conversation about your suggestions. I was just

Re: Fwd: Proposal: revisiting menus in Gnome

2017-04-10 Thread Michael Catanzaro
I don't have much to add, but you have a bunch of good points and a serious design for addressing the problem. I hope the community considers your suggestions seriously, even if we expect that app/panel menu adoption will likely improve in the next couple of years with Ubuntu switching back to

Fwd: Proposal: revisiting menus in Gnome

2017-04-10 Thread Greg K Nicholson
Hi folks, This is going to be a long one. Check you have a cup of tea before you dive in. # Summary We should improve how Gnome apps organise their menus. We should move the contents of the panel menu into the headerbar menu, where Preferences and Quit should be styled like in the Shell's

Re: GitHub Development Platform for GNOME

2017-04-10 Thread Philip Withnall
On Mon, 2017-04-10 at 14:09 -0400, Nicolas Dufresne wrote: > Le lundi 10 avril 2017 à 01:25 +0530, Nirbheek Chauhan a écrit : > > On Mon, Apr 10, 2017 at 1:14 AM, Walter Vargas > co > > m> wrote: > > > I want to share my humble opinion and thoughts about > > > GitHub/GitLab:

Re: GitHub Development Platform for GNOME

2017-04-10 Thread Nicolas Dufresne
Le lundi 10 avril 2017 à 01:25 +0530, Nirbheek Chauhan a écrit : > On Mon, Apr 10, 2017 at 1:14 AM, Walter Vargas m> wrote: > > I want to share my humble opinion and thoughts about GitHub/GitLab: > > > > From what I've been hearing, people within GNOME have been

Re: GitHub Development Platform for GNOME

2017-04-10 Thread Carlos Soriano via desktop-devel-list
Hello Walter, Yes, using non-free software for something as important as our infraestructure is problematic for most of the GNOME community. GitHub is not a feasible option for the time being. Other alternatives that are free software can be and are being taken into account, and that's the