// // MoinMoin commonly used JavaScript functions // // use this instead of assigning to window.onload directly: function addLoadEvent(func) { var oldonload = window.onload; if (typeof window.onload != 'function') { window.onload = func; } else { window.onload = function() { oldonload(); func(); } } } function can_use_gui_editor() { var sAgent = navigator.userAgent.toLowerCase(); if (sAgent.indexOf("msie") != -1 && sAgent.indexOf("mac") == -1 && sAgent.indexOf("opera") == -1 ) { // Internet Explorer var sBrowserVersion = navigator.appVersion.match(/MSIE (.\..)/)[1]; return ( sBrowserVersion >= 5.5 ); } else if (navigator.product == "Gecko" && navigator.productSub >= 20030210) { // Gecko return true; } // else if (sAgent.indexOf("safari") != -1 ) { // // Safari - build must be at least 312 (1.3) // return (sAgent.match( /safari\/(\d+)/ )[1] >= 312 ); // } else { // Unknown browser, assume gui editor is not compatible return false; } } function update_edit_links() { // Update editlink according if if the browser is compatible if (can_use_gui_editor() == false) return; var editlinks = document.getElementsByName("editlink"); for (i = 0; i < editlinks.length; i++) { var link = editlinks[i]; href = link.href.replace('editor=textonly','editor=guipossible'); link.href = href; } } function add_gui_editor_links() { // Add gui editor link after the text editor link // If the variable is not set or browser is not compatible, exit try {gui_editor_link_href} catch (e) {return} if (can_use_gui_editor() == false) return; var all = document.getElementsByName('texteditlink'); for (i = 0; i < all.length; i++) { var textEditorLink = all[i]; // Create a list item with a link var guiEditorLink = document.createElement('a'); guiEditorLink.href = gui_editor_link_href; var text = document.createTextNode(gui_editor_link_text); guiEditorLink.appendChild(text); var listItem = document.createElement('li') listItem.appendChild(guiEditorLink); // Insert in the editbar var editbar = textEditorLink.parentNode.parentNode var nextListItem = textEditorLink.parentNode.nextSibling; editbar.insertBefore(listItem, nextListItem); } } function show_switch2gui() { // Show switch to gui editor link if the browser is compatible if (can_use_gui_editor() == false) return; var switch2gui = document.getElementById('switch2gui') if (switch2gui) { switch2gui.style.display = 'inline'; } } function load() { // Do not name this "onload", it does not work with IE :-) // TODO: create separate onload for each type of view and set the // correct function name in the html. // e.g // Page view stuff update_edit_links(); add_gui_editor_links(); // Editor stuff show_switch2gui(); } function before_unload(evt) { // TODO: Better to set this in the editor html, as it does not make // sense elsehwere. // confirmleaving is available when editing try {return confirmleaving();} catch (e) {} } // Initialize after loading the page addLoadEvent(load) // Catch before unloading the page window.onbeforeunload = before_unload // We keep here the state of the search box searchIsDisabled = false; function searchChange(e) { // Update search buttons status according to search box content. // Ignore empty or whitespace search term. var value = e.value.replace(/\s+/, ''); if (value == '' || searchIsDisabled) { searchSetDisabled(true); } else { searchSetDisabled(false); } } function searchSetDisabled(flag) { // Enable or disable search document.getElementById('fullsearch').disabled = flag; document.getElementById('titlesearch').disabled = flag; } function searchFocus(e) { // Update search input content on focus if (e.value == 'Search') { e.value = ''; e.className = ''; searchIsDisabled = false; } } function searchBlur(e) { // Update search input content on blur if (e.value == '') { e.value = 'Search'; e.className = 'disabled'; searchIsDisabled = true; } } function actionsMenuInit(title) { // Initialize action menu for (i = 0; i < document.forms.length; i++) { var form = document.forms[i]; if (form.className == 'actionsmenu') { // Check if this form needs update var div = form.getElementsByTagName('div')[0]; var label = div.getElementsByTagName('label')[0]; if (label) { // This is the first time: remove label and do buton. div.removeChild(label); var dobutton = div.getElementsByTagName('input')[0]; div.removeChild(dobutton); // and add menu title var select = div.getElementsByTagName('select')[0]; var item = document.createElement('option'); item.appendChild(document.createTextNode(title)); item.value = 'show'; select.insertBefore(item, select.options[0]); select.selectedIndex = 0; } } } }