Skip to content

Bug#494: Fix for ability to set terminal tab name programmatically #487

Bug#494: Fix for ability to set terminal tab name programmatically

Bug#494: Fix for ability to set terminal tab name programmatically #487