Mat, It does look interesting for a project I have.
- For others it would be simple, but I want to set a value in a file on the server indicating who has a tiddlywiki checked out. - Then I want the wiki to reload and the user can proceed to save if they are the checked out user, - If not they have to wait until the checkout is relinquished, checkout and reload the wiki and get the latest copy. - They can do none of this if they do not already have the key to save via tw-receiver I think I can do the above with an iframe that allows the checkout process and an Iframe busting call that will reload the whole wiki afresh on checkout. Hopefully I will find some clues on his site. otherwise it will have to wait for my php and javascript self education. Regards Tony On Sunday, June 30, 2019 at 9:50:41 PM UTC+10, Mat wrote: > > Actually, that fella has more interesting stuff. > > This is his latest post Exploring the ZIP File Format in JavaScript > <https://thiscouldbebetter.wordpress.com/2019/04/13/exploring-the-zip-file-format-in-javascript/> > sounds > like a plugin mechanism. > > or how about A Music Notation Renderer In JavaScript > <https://thiscouldbebetter.wordpress.com/2018/03/10/a-music-notation-renderer-in-javascript/> > > Here's possibly something for reading from the disk Reading a String from > a File in JavaScript > <https://thiscouldbebetter.wordpress.com/2013/01/31/reading-a-string-from-a-file-in-javascript/> > > <:-) > > > P.S browsing around his blog he seems to be a really sharp guy. I invited > him over. Who knows :-) > -- You received this message because you are subscribed to the Google Groups "TiddlyWikiDev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywikidev. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywikidev/27c2c12f-ba90-48bd-a634-d536ab737db8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
