diff options
| author | raveit65 <[email protected]> | 2016-07-29 21:13:15 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-08-31 16:14:15 +0200 |
| commit | ae9e1b41e01db427feb699f14efe9f8886432d51 (patch) | |
| tree | 15b0e61576a18a1ddbac57f21ae96173a37062f3 /plugins/time | |
| parent | 56bd0058b6c19b7c13574d548f6d6dbdbe81448b (diff) | |
| download | pluma-ae9e1b41e01db427feb699f14efe9f8886432d51.tar.bz2 pluma-ae9e1b41e01db427feb699f14efe9f8886432d51.tar.xz | |
GTK+-3 pluma-window: use gdk_device_get_position
taken from:
https://git.gnome.org/browse/gedit/commit/?id=66ce4ca
https://git.gnome.org/browse/gedit/commit/?id=c48ab83
Diffstat (limited to 'plugins/time')
0 files changed, 0 insertions, 0 deletions