From 7ca61f073f215214bcd997408a8a4b4b0c37705e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 18 Oct 2017 10:56:40 +0200 Subject: Add surf configuration --- surf/script.js | 186 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 186 insertions(+) create mode 100644 surf/script.js (limited to 'surf/script.js') diff --git a/surf/script.js b/surf/script.js new file mode 100644 index 0000000..36ff8a6 --- /dev/null +++ b/surf/script.js @@ -0,0 +1,186 @@ + +// 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