widget_store_internal_border   99 src/widget.h   void widget_store_internal_border (Widget widget);
widget_store_internal_border 1954 src/xfns.c     	widget_store_internal_border (FRAME_X_OUTPUT (f)->edit_widget);
widget_store_internal_border 1977 src/xfns.c     	widget_store_internal_border (FRAME_X_OUTPUT (f)->edit_widget);