Add an option to set window title to the command line#3133

Merged

ccordoba12 merged 3 commits intospyder-ide:masterfrom eendebakpt:master

Apr 26, 2016

+5

Commits on Apr 22, 2016

Commits on Apr 24, 2016

small style fix
eendebakpt
committed