Searched defs:internal_gui_width (Results 1 – 2 of 2) sorted by relevance
1749 int internal_gui_width = DIP2PIXEL(SettingGetGlobal_i(G, cSetting_internal_gui_width)); in OrthoDoDraw() local2235 int internal_gui_width; in OrthoReshape() local2354 int internal_gui_width = DIP2PIXEL(SettingGetGlobal_i(G, cSetting_internal_gui_width)); in OrthoReshapeWizard() local
371 final static int internal_gui_width = 98; field in PyMOL