Skip to content

Fix renaming of tabs through UI#1470

Merged
astrofrog merged 2 commits intoglue-viz:masterfrom astrofrog:fix-tab-renameNov 1, 2017