

def captioned_button(req, symbol, text):
    'Return symbol and text or only symbol, according to user preferences.'
    return (symbol if req.session.get('ui.use_symbols') else ('%s %s' % (symbol, text)))

dataset/ETHPy150Open edgewall/trac/trac/util/presentation.py captioned_button/original