On Wed, May 29, 2019 at 8:35 AM, Allan Day <a...@gnome.org> wrote:
Therefore, before we get too far into planning and implementing this
feature: does anyone know of any serious obstacles they'd face, if we
were to support a dark mode?
WebKit is having trouble with this now:
https://bugs.webkit.org/show_bug.cgi?id=126907
We need help from GTK developers to make it possible to use multiple
themes in the same process without large performance penalties.
Otherwise we need to change WebKit to try to switch to a light theme
always. Currently it uses the current theme even if it's dark, and
websites are broken, making it impractical to actually choose a dark
system theme.
Michael
_______________________________________________
desktop-devel-list mailing list
desktop-devel-list@gnome.org
https://mail.gnome.org/mailman/listinfo/desktop-devel-list