Re: [webkit-gtk] GTK4 is now the default

2023-11-16 Thread Carlos Garcia Campos
El mié, 15-11-2023 a las 17:39 -0800, john escribió: > > > > On Nov 15, 2023, at 06:19, Carlos Garcia Campos > > wrote: > > > > Hi, > > > > today we have landed a patch in main to make GTK4 the default, to > > build > > with GTK3 use -DUSE_GTK4=OFF. > > Is there a schedule for removing Gtk3

Re: [webkit-gtk] GTK4 is now the default

2023-11-16 Thread Carlos Garcia Campos
El mié, 15-11-2023 a las 16:14 +0100, Lothar Scholz escribió: > Are the Problems with NVidia GPUs finally solved?  > There are multiple problems with NVIDIA: * drm-modeset needs to be enabled in the kernel: this is a configuration issue, not related with WebKit. * NVIDIA GBM library needs to be

Re: [webkit-gtk] GTK4 is now the default

2023-11-15 Thread Lothar Scholz
Are the Problems with NVidia GPUs finally solved? Am Mi., 15. Nov. 2023 um 15:19 Uhr schrieb Carlos Garcia Campos < cgar...@igalia.com>: > Hi, > > today we have landed a patch in main to make GTK4 the default, to build > with GTK3 use -DUSE_GTK4=OFF. > > > -- > Carlos Garcia Campos > ___