Drop the public profiler api

I meant to do this before merging the profiler
support. Somehow the commit got lost.

diff --git a/docs/reference/gdk/gdk4-sections.txt b/docs/reference/gdk/gdk4-sections.txt
index d78790e3438f42e819c4cd43190e9a029169cf9d..8eb27f7c89a71835eb9eb6c92aa44664cf3fb7d2 100644 (file)
--- a/docs/reference/gdk/gdk4-sections.txt
+++ b/docs/reference/gdk/gdk4-sections.txt
@@ -17,9 +17,6 @@ GDK_VERSION_MIN_REQUIRED
 GDK_VERSION_MAX_ALLOWED
 GDK_DISABLE_DEPRECATION_WARNINGS
 
-<SUBSECTION Profiling>
-gdk_profiler_set_mark
-
 <SUBSECTION Standard>
 GDK_TYPE_GRAB_STATUS
 

diff --git a/gdk/gdk.h b/gdk/gdk.h
index d3baac51de6e1faff019caa2321d3df3c208e2a2..a537ed341ffda786ecbbe1396229070938128dfd 100644 (file)
--- a/gdk/gdk.h
+++ b/gdk/gdk.h
@@ -60,7 +60,6 @@
 #include <gdk/gdkpaintable.h>
 #include <gdk/gdkpango.h>
 #include <gdk/gdkpixbuf.h>
-#include <gdk/gdkprofiler.h>
 #include <gdk/gdkproperty.h>
 #include <gdk/gdkrectangle.h>
 #include <gdk/gdkrgba.h>