Well, it's nothing urgent but I really coudn't find a relevant thread here... So I just made a new thread Oh, well. (To moderatores: Please move this to an existing thread if you think there is a relevant one.)
I think the Golly Help > Keyboard Shortcuts Page is dynamically generated. This has a slight issue that the Keyboard Shortcuts link is dead if they are clicked outside of Golly. (i.e. From golly-directory/Help/index.html) Although it would technically be a bug, I think the issue is not that important. Just think it would be helpful to be aware of this...
And a related question: How is it generated? If I make an html page containing a link to golly-dir/Help/keyboard.html via a Golly script then would that Keyboard Shortcuts page be automatically generated by Golly?
Golly's keyboard shortcuts page
Re: Golly's keyboard shortcuts page
Correct. It has to be done that way, given every user has a different set of shortcuts.Scorbie wrote:I think the Golly Help > Keyboard Shortcuts Page is dynamically generated.
Yes, but only if the link is simply "keyboard.html" (ie. no path prefix).If I make an html page containing a link to golly-dir/Help/keyboard.html via a Golly script then would that Keyboard Shortcuts page be automatically generated by Golly?
Golly will create keyboard.html in its temporary directory, so you can use golly.getdir("temp") to access that file from a script if you want to, but note that all files in that directory are deleted when Golly quits.
Re: Golly's keyboard shortcuts page
Aha!Andrew wrote:...
Yes, but only if the link is simply "keyboard.html" (ie. no path prefix).
...
Thanks for the info