#include <glib.h>
#include <gtk/gtk.h>
#include <gtksourceview/gtksourcebuffer.h>
#include <gtksourceview/gtksourceview.h>

int
main (int argc, char *argv[])
{
  GtkWidget* view;
  GtkSourceBuffer* buffer;

  gtk_init (&argc, &argv);

  view = gtk_source_view_new ();

  buffer = GTK_SOURCE_BUFFER (gtk_text_view_get_buffer (GTK_TEXT_VIEW (view)));
  
  if (buffer)
  {
    g_print ("PASSED\n");
  }
  else
  {
    g_print ("FAILED\n");
  }
  
  if (g_object_is_floating (view))
  {
    g_object_ref_sink (view);
  }
  g_object_unref (view);

  return 0;
}
