Hi everyone, Firstly, I'd like to add that GTK+ 3.12 is going to be released on March 26th[1]. Ubuntu 14.04 will be released on April 17th.
Secondly, in my opinion, I think we should definitely try and make use of GTK+ 3.12. Popovers are, as Daniel said, one of the reasons as to why, but the most important ones are concerning the GtkHeaderBar improvements with regard to the maximize button and other affairs. As so, if we can get GTK+ 3.12 with a PPA on Isis, I think we should really go for it. Voldyman also told me that GNOME is working on a DynamicNotebook for GTK+ 3.12, and I think that deprecating the correspondent Granite widgets is the best thing to do too (starting with Granite.Widgets.AppMenu and Granite.Widgets.PopOver) for Isis. Cheers, David [1]: https://wiki.gnome.org/ThreePointEleven [2]: https://wiki.ubuntu.com/TrustyTahr/ReleaseSchedule On Thu, Jan 23, 2014 at 2:54 PM, Daniel Foré <dan...@elementaryos.org>wrote: > Hey dudes, > > As you may know, popovers have landed in GTK! > http://blogs.gnome.org/mclasen/2014/01/22/and-now-popovers/ > > AFAIK, this means they will be available in GTK 3.12, which is imo yet > another reason to reach for GTK 3.12 by default in Isis. If I understand > correctly, the gnome team staging PPA for 14.04 is being set up such that > we should be able to get packages for 3.12 > > This would imply another deprecated widget in Granite since the GTK widget > should be able to do everything that our widget does and hopefully doesn't > have the quirky bugs that our widget has. > > So, basically I think we should probably make a decision about whether we > intend to ship GTK 3.12 in Isis or not. > > -- > Best Regards, > > Daniel Foré > > elementaryos.org > > -- > Mailing list: https://launchpad.net/~elementary-dev-community > Post to : elementary-dev-community@lists.launchpad.net > Unsubscribe : https://launchpad.net/~elementary-dev-community > More help : https://help.launchpad.net/ListHelp > >
-- Mailing list: https://launchpad.net/~elementary-dev-community Post to : elementary-dev-community@lists.launchpad.net Unsubscribe : https://launchpad.net/~elementary-dev-community More help : https://help.launchpad.net/ListHelp