Tim van der Meij 22c7ff494a Merge pull request from Snuffleupagus/enhanceTextSelection-pref-hack
Add a `enhanceTextSelection` preference
2016-09-09 16:38:45 +02: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-04-28 06:57:24 -05:00