diff options
| author | Alberts Muktupāvels <[email protected]> | 2017-04-23 13:00:23 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-04-23 13:01:25 +0200 |
| commit | 6d9adde1f91d399f5e429f9f09f996aecb7cfa35 (patch) | |
| tree | 37152fe7ca2c3b46db618561a1401da38e75e0b5 /src/ui/draw-workspace.h | |
| parent | 76ed712251aeab04ce7e7b5d9c421baf9b9f34cd (diff) | |
| download | marco-6d9adde1f91d399f5e429f9f09f996aecb7cfa35.tar.bz2 marco-6d9adde1f91d399f5e429f9f09f996aecb7cfa35.tar.xz | |
ui: avoid deprecated GdkDeviceManager
taken from:
https://git.gnome.org/browse/metacity/commit/?id=7ec9a6f
Diffstat (limited to 'src/ui/draw-workspace.h')
0 files changed, 0 insertions, 0 deletions