[worg] Request for help to fix the 'Show Org source'

[worg] Request for help to fix the 'Show Org source'

[Marco Wahl]

Hi worgers,

The button 'Show Org source' disappoints on worg pages when the url
does not contain an explicit name.  See e.g. http://orgmode.org/worg/
vs. http://orgmode.org/worg/index.html.

This behavior is due to javascript-function

#v+
function show_org_source(){
       document.location.href = rpl(document.location.href,"html","org.html");
    }
#v-

which changes nothing when the href contains no "html".

I propose to change this function to

#v+
function show_org_source() {
    var loc = document.location;
    if (-1 != loc.href.indexOf("html")) {
        loc.href = rpl(loc.href, "html", "org.html");
    }
    else {
        loc.pathname += "index.org.html";
    }
}
#v-

I do not understand how the function 'show_org_source' gets pasted into
each worg-page.  Can anyone please explain?  Can anybody even apply the
fix?


Ciao,  Marco
-- 
http://www.wahlzone.de
GPG: 0x49010A040A3AE6F2