From e1e9b5892746fbbe0bda7096da2d7d1421fc4c40 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sat, 12 Dec 2020 08:01:10 +0100 Subject: Remove surf --- surf/script.js | 189 ------------------------------------------------ surf/styles/default.css | 0 2 files changed, 189 deletions(-) delete mode 100644 surf/script.js delete mode 100644 surf/styles/default.css (limited to 'surf') diff --git a/surf/script.js b/surf/script.js deleted file mode 100644 index 01f7bcb..0000000 --- a/surf/script.js +++ /dev/null @@ -1,189 +0,0 @@ - -/* -// Easylinks (inspired but my own implementation) -var elink_modkey = 18; //ctrl=17, alt=18 -var elink_copykey = 67; // c -var elink_newwinkey = 84; // t -var elink_openkey = 70; // f - -var elink_ankers = {}; -var elink_labels = {}; - -// Creates visual tags on website -elink_create = function() { - // Just to be sure remove any previous one first - elink_remove(); - // Get all a and input elements - elink_ankers = document.getElementsByTagName("a"); - elink_ankers.push.apply( document.getElementsByTagName("input") ); - // For every anker create label - for (var i=0; i=10 : normal integer, - - // globals - var ankers = document.getElementsByTagName("a"); - var labels = new Object(); - var ui_visible = false; - var input = ""; - - // functions - hl=function(t) { - for(var id in labels) { - if (t && id.match("^"+t)==t) - for(var s in hl_style) - labels[id].rep.style[s]=hl_style[s]; - else - for(var s in label_style) - labels[id].rep.style[s]=label_style[s]; - } - } - open_link=function(id, new_win) { - try { - var a = labels[input].a; - if(a && !new_win) window.location.href=a.href; - if(a && new_win) window.open(a.href,a.href); - } catch (e) {} - } - set_ui=function(s) { - var pos = "static"; - ui_visible = true; - if(s == "hidden") { - ui_visible = false; - pos = "absolute"; - input=""; - } - for(var id in labels) { - labels[id].rep.style.visibility=s; - labels[id].rep.style.position=pos; - } - } - base=function(n, b) { - if(b>=10) return n.toString(); - var res = new Array(); - while(n) { - res.push( (n%b +1).toString() ) - n=parseInt(n/b); - } - return res.reverse().join(""); - } - - // main - // create labels - for (var i=0; i