/* arrow widget */ extern int _WIDGET_nverts_arrow; extern int _WIDGET_ntris_arrow; extern float _WIDGET_verts_arrow[][3]; extern float _WIDGET_normals_arrow[][3]; extern unsigned short _WIDGET_indices_arrow[]; /* dial widget */ extern int _WIDGET_nverts_dial; extern int _WIDGET_ntris_dial; extern float _WIDGET_verts_dial[][3]; extern float _WIDGET_normals_dial[][3]; extern unsigned short _WIDGET_indices_dial[];