Replaced "uint" (which may be or may not be defined depending on platform)

by "guint".


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@38741 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Stefan Neis
2006-04-15 10:01:21 +00:00
parent e9d6f3a473
commit d704d2f5dc
2 changed files with 2 additions and 2 deletions

View File

@@ -256,7 +256,7 @@ selection_handler( GtkWidget *WXUNUSED(widget),
// It shall return the time which was used to set the data. // It shall return the time which was used to set the data.
if (selection_data->target == g_timestampAtom) if (selection_data->target == g_timestampAtom)
{ {
uint timestamp = GPOINTER_TO_UINT (signal_data); guint timestamp = GPOINTER_TO_UINT (signal_data);
gtk_selection_data_set(selection_data, gtk_selection_data_set(selection_data,
GDK_SELECTION_TYPE_INTEGER, GDK_SELECTION_TYPE_INTEGER,
32, 32,

View File

@@ -257,7 +257,7 @@ selection_handler( GtkWidget *WXUNUSED(widget),
// It shall return the time which was used to set the data. // It shall return the time which was used to set the data.
if (selection_data->target == g_timestampAtom) if (selection_data->target == g_timestampAtom)
{ {
uint timestamp = GPOINTER_TO_UINT (signal_data); guint timestamp = GPOINTER_TO_UINT (signal_data);
gtk_selection_data_set(selection_data, gtk_selection_data_set(selection_data,
GDK_SELECTION_TYPE_INTEGER, GDK_SELECTION_TYPE_INTEGER,
32, 32,