Github tips : launch a code editor from github.com

Developers
1

You can launch vscode-web from within GitHub by :

  • Pressing the . key on any repository or pull request.
  • Swapping .com with .dev in the URL.

Quick demo of github.dev in action :

github dev

Doc : The github.dev web-based editor - GitHub Docs

Since tiddlywiki is using GitHub I thought this might interest the devs that are here.

I think this feature could also ease the process to edit the documentation, since it supports @joshuafontany VSCode addon’s :slight_smile:

Maybe the tiddlywiki doc should mention it ?

2 Likes
2

There is a similar post at: Tiddlywiki Saving and New VS Code under Web

1 Like
3

There is a post here 7 Steps to Improve the TiddlyWiki Documentation that talks about improving TW docs using TiddlyWiki directly from that page.

As it seems only Saq (the creator), me and a very view others have even tried to use it yet.

1 Like
4

Since we now have addons for CodeMirror that support code highlighting etc, we could potentially add those to the “PR maker” wiki.

5

Sorry, you’re right ! I did search for a bit before posting but didn’t found that post. Note however that at the time this was not as well integrated to GitHub, you had to go to vscode.dev.

I knew about your post but I thought that the PR maker was experimental, if it is ready to be used then yes THAT should be in the doc, it’s so much easier !

I only made a quick test with it but next time I want to contribute to the doc I’ll use that. It would be great if it was made official ..

Please do! That’s the only advantage the visual studio web editor has vs the PR maker.
Now that there is a monaco plugin for tiddlywiki, maybe this would be even better than codemirror ?

6

I may not find the time for a while but if anybody feels so inclined, I would welcome a PR to add the plugins: