diff --git a/bas-search.user.js b/bas-search.user.js index 244e62f..5ce4e47 100644 --- a/bas-search.user.js +++ b/bas-search.user.js @@ -3,7 +3,7 @@ // @namespace http://tampermonkey.net/ // @version 1.4.1 // @description Show a textbox on "/" key press and redirect to Cereweb search on Enter key press. Supports group search with "g:" prefix and accounts if you use no prefix or "a:" prefix. -// @author Your Name +// @author on@ntnu.no // @match https://bas.ntnu.no/* // @grant none // @icon https://www.google.com/s2/favicons?sz=64&domain=ntnu.no diff --git a/innsida-search.user.js b/innsida-search.user.js new file mode 100644 index 0000000..4a3a057 --- /dev/null +++ b/innsida-search.user.js @@ -0,0 +1,49 @@ +// ==UserScript== +// @name Innsida Quick Search +// @namespace http://tampermonkey.net/ +// @version 1.0 +// @description Show a textbox on "/" key press and redirect to Innsida search on Enter key press. +// @author on@ntnu.no +// @match https://innsida.ntnu.no/* +// @grant none +// ==/UserScript== + +(function() { + 'use strict'; + + // Create and style the input box + const inputBox = document.createElement('input'); + inputBox.type = 'text'; + inputBox.style.position = 'fixed'; + inputBox.style.top = '10px'; + inputBox.style.left = '50%'; + inputBox.style.transform = 'translateX(-50%)'; + inputBox.style.zIndex = '10000'; + inputBox.style.display = 'none'; + inputBox.style.padding = '5px'; + inputBox.style.fontSize = '16px'; + document.body.appendChild(inputBox); + + // Show the input box when "/" is pressed + document.addEventListener('keydown', function(event) { + if (event.key === '/') { + event.preventDefault(); + inputBox.style.display = 'block'; + inputBox.focus(); + } + }); + + // Redirect to the search URL when Enter is pressed + inputBox.addEventListener('keydown', function(event) { + if (event.key === 'Enter') { + const searchQuery = inputBox.value.trim(); + const url = `https://innsida.ntnu.no/sok?q=${encodeURIComponent(searchQuery)}&pageSize=10&curPage=1`; + window.location.href = url; + } + }); + + // Hide the input box when it loses focus + inputBox.addEventListener('blur', function() { + inputBox.style.display = 'none'; + }); +})(); \ No newline at end of file