* Boston, MA 02111-1307, USA.
*/
-#include <config.h>
+#include "config.h"
#include <glib.h>
#include "gdk.h" /* gdk_event_send_client_message() */
#include "gdkdisplay.h"
* Since: 2.2
**/
void
-gdk_display_put_event (GdkDisplay *display,
- GdkEvent *event)
+gdk_display_put_event (GdkDisplay *display,
+ const GdkEvent *event)
{
g_return_if_fail (GDK_IS_DISPLAY (display));
g_return_if_fail (event != NULL);
* @time_: a timestamp from a #GdkEvent, or %GDK_CURRENT_TIME if no
* timestamp is available.
*
- * Ungrabs the pointer, if it is grabbed by this application.
+ * Ungrabs the pointer on the default display, if it is grabbed by this
+ * application.
**/
void
gdk_pointer_ungrab (guint32 time)
/**
* gdk_pointer_is_grabbed:
*
- * Returns %TRUE if the pointer is currently grabbed by this application.
+ * Returns %TRUE if the pointer on the default display is currently
+ * grabbed by this application.
*
* Note that this does not take the inmplicit pointer grab on button
* presses into account.
* @time_: a timestamp from a #GdkEvent, or %GDK_CURRENT_TIME if no
* timestamp is available.
*
- * Ungrabs the keyboard, if it is grabbed by this application.
+ * Ungrabs the keyboard on the default display, if it is grabbed by this
+ * application.
**/
void
gdk_keyboard_ungrab (guint32 time)
/**
* gdk_beep:
*
- * Emits a short beep.
+ * Emits a short beep on the default display.
**/
void
gdk_beep (void)