diff options
| author | nyamatongwe <devnull@localhost> | 2002-01-15 10:05:53 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2002-01-15 10:05:53 +0000 |
| commit | 1556eedfde01e28c4de26bbea36351ea6d2006b2 (patch) | |
| tree | 25564af785975dcb65993e0b7857818dfe9d7b52 | |
| parent | 2d0ba77d21ef2c645bcad67fa61dec4e80b54f25 (diff) | |
| download | scintilla-mirror-1556eedfde01e28c4de26bbea36351ea6d2006b2.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; |