Searched refs:WG_MAIN_RES_MENU (Results 1 – 2 of 2) sorted by relevance
221 WG_MAIN_RES_MENU, enumerator
873 m_widget [ WG_MAIN_RES_MENU ] = menu; in create_document_tab()1200 ::gtk_option_menu_set_history ( GTK_OPTION_MENU ( m_widget [ WG_MAIN_RES_MENU ] ), i ); in sensitive_resolution()