TearDownDoubleBuffering 1615 src/haiku_support.cc     TearDownDoubleBuffering ();
TearDownDoubleBuffering 4768 src/haiku_support.cc   view->TearDownDoubleBuffering ();