add tooltips to runtools extension's many buttons#930
Merged
jcb91 merged 1 commit intoipython-contrib:masterfrom Mar 28, 2017
Merged
add tooltips to runtools extension's many buttons#930jcb91 merged 1 commit intoipython-contrib:masterfrom
jcb91 merged 1 commit intoipython-contrib:masterfrom