Henning Dieterichs

> I directly edit github code pretty frequently, and would be very interested in landing this as a PR. > If you have any pointers to point me in the...

Thanks for pointing this out! Btw. you can press F11 and if there is enough space, the preview will be rendered next to the editor.

> F11 shows the desktop. When you press it inside the editor? 

I fear that this will be difficult, as browser extensions need to list every site they want to access for security reasons. I could publish a second browser extension with...

@jzabroski thanks! Do you have a link to the paper?

That would be a nice addition indeed! I won't find time for this in the next couple of months though. I welcome PRs!

Thanks for sharing your idea! I'll keep this issue open, but I think it should be a different extension. It shouldn't be too hard to fork this extension and adapt...

(2) is a great idea, I will definitely do that! Thanks for sharing it. (1) is more work to implement though. I'm welcoming PRs 😉

I guess github gists just use a different domain ;) Should be easy to fix.

Interesting idea! But what would monaco do better than GitHubs diff view? Since it would be a readonly view, all the advanced editing capabilities don't come into play. Also, replacing...