Tim van der Meij 1564dc311a Merge pull request #7618 from jeremypress/fix-enhanced-double-click
fixing #7590 by delaying div shrink after mouse up
2016-09-28 23:30:35 +02:00
..
2016-09-27 15:27:42 -05:00
2016-07-17 14:33:41 +02:00
2016-07-17 14:33:41 +02:00
2016-05-07 23:46:56 +02:00
2016-04-28 06:57:24 -05:00
2016-04-28 06:57:24 -05:00
2016-04-28 13:30:03 -05:00
2016-09-27 15:27:42 -05:00