[gtk] events: Make proximity and scroll events have tools
- From: Matthias Clasen <matthiasc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk] events: Make proximity and scroll events have tools
- Date: Sat, 15 Feb 2020 14:57:37 +0000 (UTC)
Summary of changes:
e5d83ee... events: Make proximity and scroll events have tools (*)
(*) This commit already existed in another branch; no separate mail sent
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
