BWindow_change_decoration  553 src/haiku_support.h extern void BWindow_change_decoration (void *, int);
BWindow_change_decoration 1391 src/haikufns.c   BWindow_change_decoration (FRAME_HAIKU_WINDOW (f), NILP (new_value));