/*
 *  gtksourcecalltipswindow.c
 *
 *  Copyright (C) 2004 Paolo Maggi 
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU Library General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU Library General Public License for more details.
 *
 *  You should have received a copy of the GNU Library General Public
 *  License* along with this program; if not, write to the Free
 *  Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 *  02111-1307, USA.
 */

/* This is a private header */

#ifndef __GTK_SOURCE_CALL_TIPS_WINDOW_H__
#define __GTK_SOURCE_CALL_TIPS_WINDOW_H__

#include <gtk/gtk.h>

typedef GtkWindow GtkSourceCallTipsWindow;

#define GTK_SOURCE_CALL_TIPS_WINDOW(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), GTK_TYPE_WINDOW, GtkSourceCallTipsWindow))

GtkWidget	*gtk_source_call_tips_window_new (void);

void		 gtk_source_call_tips_window_set_tips (GtkSourceCallTipsWindow *window,
						       GSList                  *tips,
						       gboolean                 force_reset_position);

#endif  /* __GTK_SOURCE_CALL_TIPS_WINDOW_H__ */
