Robert Mark Bram

Results 13 comments of Robert Mark Bram

Solved this with a script. ``` - commands: - renameConsole.sh "New name" ``` The script is hacky because I noticed that sometimes the rename just doesn't work (some timing issue...

This is really important to me too. GPM doesn't solve it for me because I have SVN repos, not just GIT.

This extension simply doesn't work for me. I enter jumpy word mode and see the white two letter characters against letters.. but anything I press after that just types.. Then...