WND_BORDER_INDEX 2504 src/w32fns.c         SetWindowLong (hwnd, WND_BORDER_INDEX, FRAME_INTERNAL_BORDER_WIDTH (f));
WND_BORDER_INDEX 5634 src/w32fns.c         SetWindowLong (tip_window, WND_BORDER_INDEX, FRAME_INTERNAL_BORDER_WIDTH (f));
WND_BORDER_INDEX 7271 src/w32term.c    SetWindowLong (window, WND_BORDER_INDEX, FRAME_INTERNAL_BORDER_WIDTH (f));