Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add 'Git History' command in the quick open command palette #3256

Closed
vince-fugnitto opened this issue Oct 23, 2018 · 0 comments
Closed

Add 'Git History' command in the quick open command palette #3256

vince-fugnitto opened this issue Oct 23, 2018 · 0 comments
Assignees
@vince-fugnitto
Labels
commands issues related to application commands git issues related to git

Comments

@vince-fugnitto
Copy link
Member

vince-fugnitto commented Oct 23, 2018 •
edited
Loading

Add missing Git History command to the command palette.
@vince-fugnitto vince-fugnitto added git issues related to git commands issues related to application commands labels Oct 23, 2018
@vince-fugnitto vince-fugnitto self-assigned this Oct 23, 2018
@vince-fugnitto vince-fugnitto changed the title Add Toggle Git History View in the quick open command palette Add 'Git History' command in the quick open command palette Oct 24, 2018
vince-fugnitto added a commit that referenced this issue Oct 24, 2018
@vince-fugnitto
Add missing Git History command to the command palette
859336e 
Fixes #3256

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
@vince-fugnitto vince-fugnitto mentioned this issue Oct 24, 2018
Merged
vince-fugnitto added a commit that referenced this issue Oct 25, 2018
@vince-fugnitto
Add missing Git History command to the command palette
8711aa1 
Fixes #3256

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
vince-fugnitto added a commit that referenced this issue Oct 26, 2018
@vince-fugnitto
Add missing Git History command to the command palette
1d0d011 
Fixes #3256

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
vince-fugnitto added a commit that referenced this issue Oct 26, 2018
@vince-fugnitto
Add missing Git History command to the command palette
3a13ada 
Fixes #3256

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
bogthe pushed a commit to ARMmbed/theia that referenced this issue Jan 21, 2019
@vince-fugnitto
Add missing Git History command to the command palette
b1c3d13 
Fixes eclipse-theia#3256

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
Signed-off-by: Bogdan Stolojan <petre.stolojan@arm.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vince-fugnitto vince-fugnitto

Labels
commands issues related to application commands git issues related to git
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vince-fugnitto