Benjamin Otte 4a95f8802c widget: Remove gtk_widget_set_double_buffered() ...

Everything is always double-buffered.

2016-10-16 18:18:58 +02:00

..

gdk

API: screen: Remove gdk_screen_make_display_name()

2016-10-16 18:17:21 +02:00

gtk

widget: Remove gtk_widget_set_double_buffered()

2016-10-16 18:18:58 +02:00

Makefile.am

API: Remove libgail-util

2016-10-16 18:18:58 +02:00