OK, now it's working. I'm not sure what the problem was before, but
it seems resolved now.
Sorry for the false alarm.
Thanks,
G
On Wed, Jan 13, 2016 at 3:33 AM, Marco Wahl wrote:
> Nick Dokos writes:
>
>> Kynn Jones writes:
>>
>>> The [Show Org source] button at the bottom of pages such as
>>>
>>> http://orgmode.org/worg/
>>>
>>> does not work. Nothing happens when one clicks on it. It's supposed
>>> to execute the statement `show_org_source()`, but as far as I can
>>> tell, the function `show_org_source` is not to be found in the page's
>>> JS.
>>>
>>
>> I can see the following (lines 63-79 of the page source):
>>
>>
>> function rpl(expr,a,b) {
>> var i=0
>> while (i!=-1) {
>> i=expr.indexOf(a,i);
>> if (i>=0) {
>> expr=expr.substring(0,i)+b+expr.substring(i+a.length);
>> i+=b.length;
>> }
>> }
>> return expr
>> }
>>
>> function show_org_source(){
>>document.location.href =
>> rpl(document.location.href,"html","org.html");
>> }
>>
>>
>>
>> Try clicking the button on the following page:
>>
>>http://orgmode.org/worg/org-tutorials/org-outside-org.html
>>
>> It changes the location to
>>
>>http://orgmode.org/worg/org-tutorials/org-outside-org.org.html
>>
>> and loads it.
>>
>> http://orgmode.org/worg/ does not have a .html suffix so the rpl()
>> function leaves it alone.
>>
>> This is with FF 43.0.3 on Fedora 22.
>
> The desired behaviour of the [Show Org source] button for
> http://orgmode.org/worg/ can be found at
> http://orgmode.org/worg/index.html.
>
>
> My 2 ct,
> --
> Marco Wahl
> GPG: 0x49010A040A3AE6F2
>
>