def set_title ( self, ui ):
        ui.control.setWindowTitle(ui.title)

    #---------------------------------------------------------------------------
    #  Sets the icon for the UI window:
    #---------------------------------------------------------------------------
How many characters wide can pc_covered_str be?
dataset/ETHPy150Open enthought/traitsui/traitsui/qt4/toolkit.py/GUIToolkit.set_title--crossover with--dataset/ETHPy150Open RoseOu/flasky/venv/lib/python2.7/site-packages/coverage/results.py/Numbers.pc_str_width