Commit 848b5597 authored by Jens Georg's avatar Jens Georg

Fix "Unknown source id" warnings

parent 8bdbcd2a
......@@ -1115,15 +1115,19 @@ public abstract class Page : Gtk.ScrolledWindow {
}
public void stop_cursor_hiding() {
if (last_timeout_id != 0)
if (last_timeout_id != 0) {
Source.remove(last_timeout_id);
last_timeout_id = 0;
}
}
public void suspend_cursor_hiding() {
cursor_hide_time_cached = cursor_hide_msec;
if (last_timeout_id != 0)
if (last_timeout_id != 0) {
Source.remove(last_timeout_id);
last_timeout_id = 0;
}
cursor_hide_msec = 0;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment