diff options
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index d791e19fb..95139f318 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -576,7 +576,7 @@ void ScintillaGTK::SetTicking(bool on) {  		if (timer.ticking) {  			timer.tickerID = reinterpret_cast<TickerID>(gtk_timeout_add(timer.tickSize, (GtkFunction)TimeOut, this));  		} else { -			gtk_timeout_remove(reinterpret_cast<guint>(timer.tickerID)); +			gtk_timeout_remove(GPOINTER_TO_UINT(timer.tickerID));  		}  	}  	timer.ticksToWait = caret.period; | 
