diff options
| author | Pablo Barciela <[email protected]> | 2019-02-18 10:08:24 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-03-10 17:33:56 +0100 |
| commit | 8852f3b0881edf76a21f53775dd3b37a023ec4f3 (patch) | |
| tree | 2f8d1914b71829ec6550adf2b94eb407d39731c4 /src/ui/draw-workspace.h | |
| parent | e408410a289e9afdb6b3588db2a3475763a19c22 (diff) | |
| download | marco-8852f3b0881edf76a21f53775dd3b37a023ec4f3.tar.bz2 marco-8852f3b0881edf76a21f53775dd3b37a023ec4f3.tar.xz | |
frames: avoid deprecated 'gtk_widget_set_double_buffered'
based in the mutter commits:
https://gitlab.gnome.org/GNOME/mutter/commit/b8b0dc5c78008647f5833f63d88456025f17bd08
https://gitlab.gnome.org/GNOME/mutter/commit/669c9da2a48d9a5573edee09065b8558c1d07035
Diffstat (limited to 'src/ui/draw-workspace.h')
0 files changed, 0 insertions, 0 deletions