[git] As a user I would like to replace the editor's content with the HEAD, index, and other treeish

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

http://theia-ide.org

Eclipse Public License 2.0

19.99k stars 2.5k forks source link

[git] As a user I would like to replace the editor's content with the HEAD, index, and other treeish #2228

Open kittaakos opened 6 years ago

kittaakos commented 6 years ago

It is is a useful feature in Eclipse. I would propose adding a context menu to the navigator/editor and have the followings (without the local history items):

screen shot 2018-06-28 at 13 58 45

The last two items should trigger the Command Palette.

JonasHelming commented 2 weeks ago

@kittaakos Have you switched to use the VS Code built-in extension? Is this obsolete?