Drop the public profiler api

I meant to do this before merging the profiler support. Somehow the commit got lost.
2019-05-08 16:58:11 +00:00 · 2019-05-08 16:58:11 +00:00 · b3ff4154ec
commit b3ff4154ec
parent 879a0c118d
2 changed files with 0 additions and 4 deletions
--- 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

--- 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>