GR.jl icon indicating copy to clipboard operation
GR.jl copied to clipboard

Published 20 hours ago • verified publisher icon jheinen

double_buffered is deprecated and breaks on Windows

Open BioTurboNick opened this issue 2 years ago • 3 comments

See: https://docs.gtk.org/gtk3/method.Widget.set_double_buffered.html

BioTurboNick avatar Nov 04 '21 02:11 BioTurboNick

@jheinen Any reason not to merge this?

mkitti avatar Nov 01 '22 16:11 mkitti

Shouldn't the problem better be fixed in Gtk? For animations within Gtk widgets double buffering is useful to avoid flickering.

jheinen avatar Nov 01 '22 19:11 jheinen

The problem is that Gtk appears to be removing gtk_widget_set_double_buffered, so I don't think the Gtk will be fixing this specific API. Rather we should see if another API would be more helpful here.

Discussion here: https://mail.gnome.org/archives/gtk-devel-list/2014-November/msg00036.html

mkitti avatar Nov 03 '22 00:11 mkitti