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