gdk_frame_clock_get_frame_time(): use gint64 for time

[~andy/gtk] / gdk / gdkinternals.h

diff --git a/gdk/gdkinternals.h b/gdk/gdkinternals.h
index 42391884263e8bec13eef83fd4c213c615775b54..4a91b7709f9a31d48fc02e96394b185d0782f549 100644 (file)
--- a/gdk/gdkinternals.h
+++ b/gdk/gdkinternals.h
@@ -429,27 +429,6 @@ cairo_surface_t * _gdk_offscreen_window_create_surface (GdkWindow *window,
                                                         gint       width,
                                                         gint       height);
 
-/********************************
- *  Debug-only frame statistics *
- ********************************/
-
-#ifdef G_ENABLE_DEBUG
-
-gint64           _gdk_frame_timings_get_layout_start_time (GdkFrameTimings *timings);
-void             _gdk_frame_timings_set_layout_start_time (GdkFrameTimings *timings,
-                                                           gint64           layout_start_time);
-gint64           _gdk_frame_timings_get_paint_start_time (GdkFrameTimings *timings);
-void             _gdk_frame_timings_set_paint_start_time (GdkFrameTimings *timings,
-                                                          gint64           paint_time);
-gint64           _gdk_frame_timings_get_frame_end_time  (GdkFrameTimings *timings);
-void             _gdk_frame_timings_set_frame_end_time  (GdkFrameTimings *timings,
-                                                         gint64           frame_end_time);
-
-void             _gdk_frame_history_debug_print         (GdkFrameHistory *history,
-                                                         GdkFrameTimings *timings);
-
-#endif /* G_ENABLE_DEBUG */
-
 G_END_DECLS
 
 #endif /* __GDK_INTERNALS_H__ */