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
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 fu
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
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
