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