All symbols starting with `t' in src/gui-gtk