Some UX feedback. I was reviewing this PR xtermjs/xterm.js#1543 and this is what I did:
- See notification in octobox
- Checkout PR
- Click comments panel
- See my old comment which I thought had been actioned because of notification
git pull in terminal
- Close the diff editor and click the comment again
- Close the diff editor and open SelectionRendererLayer.ts and see the change was made
Perhaps an "Outdated" label somewhere would help with this.
Some UX feedback. I was reviewing this PR xtermjs/xterm.js#1543 and this is what I did:
git pullin terminalPerhaps an "Outdated" label somewhere would help with this.