Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Is it possible to rename the "Local - Shell" tab title ?
I don't wont to make a default title, but to change a local shell tab already open.
David Torrejón Vaquerizas
Ok, doing it! ;)
On next release, look for that possibility on mouse right-click menu over a local shell.
thanks to you ;)