/* // 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