Tao Zhou de11c80f4a Fix copy for safari and also copy on formatted text ...

Under safari, the `user-select` will not be honored for clipboard,
we have to handle the selection manually

Bug: Issue 11784
Bug: Issue 11649
Change-Id: Ibe3800d6c12983c7450c239153d6eb4b70abfb37

2019-10-21 16:29:31 +02:00

..

gr-diff-selection_test.html

Fix copy for safari and also copy on formatted text

2019-10-21 16:29:31 +02:00

gr-diff-selection.html

Fix copy for safari and also copy on formatted text

2019-10-21 16:29:31 +02:00

gr-diff-selection.js

Fix copy for safari and also copy on formatted text

2019-10-21 16:29:31 +02:00