comparison repoint-lock.json @ 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
comparison
equal deleted inserted replaced
1874:03763352b49a 1875:5e89d478126d
5 }, 5 },
6 "svcore": { 6 "svcore": {
7 "pin": "f2fcb3ed51fa" 7 "pin": "f2fcb3ed51fa"
8 }, 8 },
9 "svgui": { 9 "svgui": {
10 "pin": "e8368466fa34" 10 "pin": "13f5f84fbfad"
11 }, 11 },
12 "svapp": { 12 "svapp": {
13 "pin": "d4c16eed673d" 13 "pin": "d4c16eed673d"
14 }, 14 },
15 "checker": { 15 "checker": {