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