changeset 1875:5e89d478126d

Better handling for mouse wheel events in widgets
author Chris Cannam
date Fri, 22 Jun 2018 17:20:18 +0100
parents 03763352b49a
children f97e5c43ebcc
files repoint-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Thu Jun 21 15:38:12 2018 +0100
+++ b/repoint-lock.json	Fri Jun 22 17:20:18 2018 +0100
@@ -7,7 +7,7 @@
       "pin": "f2fcb3ed51fa"
     },
     "svgui": {
-      "pin": "e8368466fa34"
+      "pin": "13f5f84fbfad"
     },
     "svapp": {
       "pin": "d4c16eed673d"