From 0399814fe08bca7e75253572830bd1c620003be7 Mon Sep 17 00:00:00 2001
From: Christoph Ladurner <christoph.ladurner@tugraz.at>
Date: Tue, 19 Jul 2022 22:06:15 +0200
Subject: [PATCH] migrate js to use prettier

---
 .../js/invenio_theme_tugraz/theme.js          | 34 +++++++++----------
 1 file changed, 16 insertions(+), 18 deletions(-)

diff --git a/invenio_theme_tugraz/assets/semantic-ui/js/invenio_theme_tugraz/theme.js b/invenio_theme_tugraz/assets/semantic-ui/js/invenio_theme_tugraz/theme.js
index 5b37327..0191d6b 100644
--- a/invenio_theme_tugraz/assets/semantic-ui/js/invenio_theme_tugraz/theme.js
+++ b/invenio_theme_tugraz/assets/semantic-ui/js/invenio_theme_tugraz/theme.js
@@ -1,8 +1,8 @@
-import $ from 'jquery';
-import 'semantic-ui-css';
+import $ from "jquery";
+import "semantic-ui-css";
 
 // called on document ready
-$(function() {
+$(function () {
   importZammadScript();
 });
 
@@ -11,31 +11,29 @@ function importZammadScript() {
   scriptNode.id = "zammad_form_script";
   scriptNode.src = "https://ub-support.tugraz.at/assets/form/form.js";
   document.head.appendChild(scriptNode);
-  
+
   $.getScript("https://ub-support.tugraz.at/assets/form/form.js", () => {
-    $('#feedback-form').ZammadForm({
-      messageTitle: 'Contact us',
+    $("#feedback-form").ZammadForm({
+      messageTitle: "Contact us",
       showTitle: true,
-      messageSubmit: 'Submit',
-      messageThankYou: 'Thank you for your message, (#%s). We will get back to you as quickly as possible!',
-      modal: true
+      messageSubmit: "Submit",
+      messageThankYou:
+        "Thank you for your message, (#%s). We will get back to you as quickly as possible!",
+      modal: true,
     });
   });
 }
 
-
 // used for sticky test instance notification
-$('.ui.sticky.test-instance')
-  .sticky({
-    context: 'body'
-  })
-;
+$(".ui.sticky.test-instance").sticky({
+  context: "body",
+});
 
 export function toggleVisibility(id) {
-    var element = document.getElementById(id);
-    var isHided = element.style.display === "none";
+  var element = document.getElementById(id);
+  var isHided = element.style.display === "none";
 
-    element.style.display = isHided ? "block" : "none";
+  element.style.display = isHided ? "block" : "none";
 }
 
 window.toggleVisibility = toggleVisibility;