diff options
| author | nyamatongwe <unknown> | 2002-01-15 10:05:53 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2002-01-15 10:05:53 +0000 |
| commit | 6e381dceaefb36e82ebb909c87117ee0c56d4b4d (patch) | |
| tree | 25564af785975dcb65993e0b7857818dfe9d7b52 | |
| parent | b1b5cf29e93a65ccbcb0770d2cceb0b711e433f8 (diff) | |
| download | scintilla-mirror-6e381dceaefb36e82ebb909c87117ee0c56d4b4d.tar.gz | |
Added some casts to try and make it work for bug reporter.
| -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; |