From ee6086ed2202ffa3a3cf1ae1f4c622f59b26228e Mon Sep 17 00:00:00 2001
From: David Aylaian <davidaylaian@protonmail.com>
Date: Fri, 8 Dec 2017 20:10:35 -0500
Subject: [PATCH] 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 {
--
GitLab