> On May 30, 2017, at 3:59 PM, Andy Pastuszak <apastuszak at gmail.com> wrote: > > Are there any UI changes with switching to GTK3? > I don't know offhand, but I'd guess there will be some minor ones. Theming will be completely different, obviously. Regards, John Ralls