Re: [Show Org source] button does not work

[Kynn Jones <kynnjo@gmail.com>]

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 <marcowahlsoft@gmail.com> wrote:
> Nick Dokos <ndokos@gmail.com> writes:
>
>> Kynn Jones <kynnjo@gmail.com> 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):
>>
>> <script type="text/javascript">
>>     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");
>>     }
>> </script>
>>
>>
>> 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
>
>