Searched refs:wcol_num (Results 1 – 3 of 3) sorted by relevance
158 uiWidgetColors wcol_num, wcol_numslider, wcol_tab; member
94 .wcol_num = {
4319 wt.wcol_theme = &btheme->tui.wcol_num; in widget_type()