/* Copyright (C) 2000-2003 Markus Lausser (sgop@users.sf.net)
   This is free software distributed under the terms of the
   GNU Public License.  See the file COPYING for details. */

void filetips_init();
void filetips_show(GtkWidget * temp, int x, int y, file_t * file);