Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Git extension widgets "Git" and "Git History" not synchronized #2922

Closed
jeanlucburot opened this issue Sep 19, 2018 · 2 comments · Fixed by #12837
Closed

Git extension widgets "Git" and "Git History" not synchronized #2922

jeanlucburot opened this issue Sep 19, 2018 · 2 comments · Fixed by #12837
Labels
git issues related to git

Comments

@jeanlucburot
Copy link

jeanlucburot commented Sep 19, 2018 •
edited
Loading

When committing code using the Git extension on Theia, the Git widget is used. After successfully committing, the second widget Git History is not updated. I believe this is not intended behaviour and thought I therefore mention it here. The current solution for that is to refresh the browser.

If it matters:

  • operating system: Ubuntu 18.04
  • node: v8.12.0
  • npm: 6.4.1
  • yarn: 1.9.4
  • Google Chrome: Version 69.0.3497.92
@kittaakos kittaakos added the git issues related to git label Sep 28, 2018
@jbicker
Copy link
Contributor

jbicker commented Oct 10, 2018

Can you still reproduce it?
update-git-history

@erezmus
Copy link
Contributor

erezmus commented May 31, 2023

Still a problem in 2023, will attempt a PR if I have time

This was referenced Jun 2, 2023
Closed
Merged
@CareyJWilliams CareyJWilliams mentioned this issue Aug 16, 2023
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
git issues related to git
Projects
None yet
Milestone
No milestone
4 participants
@kittaakos @erezmus @jbicker @jeanlucburot