Tao Zhou 901f1ba1ca 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
(cherry picked from commit de11c80f4a)

2019-10-21 19:09:53 +00:00

..

gr-diff-selection_test.html

Fix copy for safari and also copy on formatted text

2019-10-21 19:09:53 +00:00

gr-diff-selection.html

Fix copy for safari and also copy on formatted text

2019-10-21 19:09:53 +00:00

gr-diff-selection.js

Fix copy for safari and also copy on formatted text

2019-10-21 19:09:53 +00:00