HidePreview      2951 src/haiku_support.cc 	  HidePreview ();
HidePreview      2958 src/haiku_support.cc 	HidePreview ();