From ee6086ed2202ffa3a3cf1ae1f4c622f59b26228e Mon Sep 17 00:00:00 2001 From: David Aylaian Date: Fri, 8 Dec 2017 20:10:35 -0500 Subject: [PATCH 1/2] Make it so that the user cannot select tabs --- src/components/gui/gui.css | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/components/gui/gui.css b/src/components/gui/gui.css index 2de5a0969..f84586b47 100644 --- a/src/components/gui/gui.css +++ b/src/components/gui/gui.css @@ -68,6 +68,13 @@ display: flex; justify-content: center; align-items: center; + + -webkit-touch-callout: none; + -webkit-user-select: none; + -khtml-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + user-select: none; } .tab.is-selected { From 74bb19292af21a8adb82a4da04f2b4b042309c6e Mon Sep 17 00:00:00 2001 From: David Aylaian Date: Mon, 11 Dec 2017 09:37:07 -0500 Subject: [PATCH 2/2] Remove vendor prefixes and touch-callout --- src/components/gui/gui.css | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/components/gui/gui.css b/src/components/gui/gui.css index f84586b47..3d08cadf6 100644 --- a/src/components/gui/gui.css +++ b/src/components/gui/gui.css @@ -69,11 +69,6 @@ justify-content: center; align-items: center; - -webkit-touch-callout: none; - -webkit-user-select: none; - -khtml-user-select: none; - -moz-user-select: none; - -ms-user-select: none; user-select: none; }