jeena/Bungloo
Archived
1
0
Fork 0
Code Issues Pull requests Projects Packages Wiki Activity Actions

fixed problem where links wouldn't be clickable

Browse source
This commit is contained in:
Jeena Paradies 2012-11-22 11:34:26 +01:00
parent 201b0a46ba
commit d39b643844
1 changed files with 19 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

34
WebKit/scripts/main.js
View file

@ -55,20 +55,17 @@ String.prototype.endsWith = function(suffix) {
return this.match(suffix+"$") == suffix; return this.match(suffix+"$") == suffix;
}; };
var entityMap = { var __entityMap = {
"&": "&", "&": "&",
"<": "&lt;", "<": "&lt;",
">": "&gt;", ">": "&gt;"
'"': '&quot;', };
"'": '&#39;',
"/": '&#x2F;'
};
String.prototype.escapeHTML = function() { String.prototype.escapeHTML = function() {
return String(this).replace(/[&<>"'\/]/g, function (s) { return String(this).replace(/[&<>]/g, function (s) {
return entityMap[s]; return __entityMap[s];
}); });
} }
var console = { var console = {
log: function(s) { log: function(s) {
@ -108,11 +105,18 @@ var console = {
} }
}; };
function loadPlugin(url) { function loadPlugin(js_url, css_url) {
if (js_url) {
}
var plugin = document.createElement("script"); var plugin = document.createElement("script");
plugin.type = "text/javascript"; plugin.type = "text/javascript";
plugin.src = url; plugin.src = js_url;
document.getElementsByTagName("head")[0].appendChild(plugin); document.getElementsByTagName("head")[0].appendChild(plugin);
if (css_url != null) {
}
} }
function debug(string) { function debug(string) {