Merge pull request #1017 from davidaylaian/no-user-select-tabs

Make it so that the user cannot select tabs

Merge pull request #1017 from davidaylaian/no-user-select-tabs
e5b9b25c · Paul Kaplan · GitHub · 5dbbeae6 · 74bb1929 · e5b9b25c
Unverified Commit e5b9b25c authored 7 years ago by Paul Kaplan Committed by GitHub 7 years ago
--- a/src/components/gui/gui.css
+++ b/src/components/gui/gui.css
@@ -68,6 +68,8 @@
    display: flex;
    justify-content: center;
    align-items: center;
+    user-select: none;
 }
 .tab.is-selected {