Fix Glib-CRITICAL **: Source ID was not found when attempting to remove it
commit4a7cff6fe71ff99f08e1a68cdf4c69af36296124
authorSébastien Granjoux <seb.sfo@free.fr>
Sun, 25 Jun 2017 12:11:49 +0000 (25 14:11 +0200)
committerSébastien Granjoux <seb.sfo@free.fr>
Sun, 25 Jun 2017 12:27:57 +0000 (25 14:27 +0200)
tree6e497b4c941213dcb41427432101603c4801cd0d
parent63e5f64af83cbf0a6a06cbb3fc221ddbb2e301fd
Fix Glib-CRITICAL **: Source ID was not found when attempting to remove it

In the symbol db plugin, the callback on_editor_buffer_symbols_update_timeout
was returning FALSE in some case which automatically remove the source.

In this case, we have to clear sdb_plugin->buf_update_timeout_id to indicate
that the source is removed.

In most of the case, I think it was better to return TRUE to keep checking the
buffer even if an update shouldn't be done at the moment.
plugins/symbol-db/plugin.c