Changeset 1685
- Timestamp:
- 02/12/2008 07:15:11 PM (9 months ago)
- Files:
-
- trunk/scripts/javascripts.js (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/scripts/javascripts.js
r1658 r1685 2 2 var input = document.forms['entryform'].elements['content']; 3 3 input.focus(); 4 /* f ür Internet Explorer und Opera >= 8 */4 /* fÃŒr Internet Explorer und Opera >= 8 */ 5 5 if(typeof document.selection != 'undefined') { 6 /* Einf ügen des Formatierungscodes */6 /* EinfÃŒgen des Formatierungscodes */ 7 7 var range = document.selection.createRange(); 8 8 var insText = range.text; … … 20 20 range.select(); 21 21 } 22 /* f ür neuere auf Gecko basierende Browser */22 /* fÃŒr neuere auf Gecko basierende Browser */ 23 23 else if(typeof input.selectionStart != 'undefined') 24 24 { 25 /* Einf ügen des Formatierungscodes */25 /* EinfÃŒgen des Formatierungscodes */ 26 26 var start = input.selectionStart; 27 27 var end = input.selectionEnd; … … 43 43 input.selectionEnd = pos; 44 44 } 45 /* f ür die übrigen Browser */45 /* fÃŒr die ÃŒbrigen Browser */ 46 46 else 47 47 { 48 /* Einf ügen des Formatierungscodes */48 /* EinfÃŒgen des Formatierungscodes */ 49 49 if(aTag == '[url]') insText = jlog_bbcode_link('', aTag, eTag); 50 50 else if(eTag == '[/list]') insText = jlog_bbcode_list('', aTag, eTag); … … 293 293 294 294 var url = topic.toLowerCase(); 295 while(url.search(/ ä/) != -1) { url = url.replace(/ä/, "ae"); }296 while(url.search(/ ö/) != -1) { url = url.replace(/ö/, "oe"); }297 while(url.search(/ ü/) != -1) { url = url.replace(/ü/, "ue"); }298 while(url.search(/ ß/) != -1) { url = url.replace(/ß/, "ss"); }295 while(url.search(/À/) != -1) { url = url.replace(/À/, "ae"); } 296 while(url.search(/ö/) != -1) { url = url.replace(/ö/, "oe"); } 297 while(url.search(/ÃŒ/) != -1) { url = url.replace(/ÃŒ/, "ue"); } 298 while(url.search(/Ã/) != -1) { url = url.replace(/Ã/, "ss"); } 299 299 while(url.search(/ /) != -1) { url = url.replace(/ /, "-"); } 300 300 while(url.search(/[^a-z0-9.,_/-]/) != -1) { url = url.replace(/[^a-z0-9.,_/-]/, ""); }
