KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add a function to remove timers

Browse Source
This commit is contained in:
Kovid Goyal 2019-01-31 18:41:20 +05:30
parent 9b73d25151
commit 68313e99a7
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
kitty/child-monitor.c
View File

@ -757,6 +757,14 @@ add_python_timer(PyObject *self UNUSED, PyObject *args) {
return Py_BuildValue("K", timer_id);
}
static PyObject*
remove_python_timer(PyObject *self UNUSED, PyObject *args) {
unsigned long long timer_id;
if (!PyArg_ParseTuple(args, "K", &timer_id)) return NULL;
remove_timer(&main_event_loop, timer_id);
Py_RETURN_NONE;
}
static inline void
process_pending_resizes(double now) {
global_state.has_pending_resizes = false;
@ -1403,7 +1411,8 @@ static PyMethodDef methods[] = {
METHOD(main_loop, METH_NOARGS)
METHOD(mark_for_close, METH_VARARGS)
METHOD(resize_pty, METH_VARARGS)
METHODB(add_python_timer, METH_VARARGS),
{"add_timer", (PyCFunction)add_python_timer, METH_VARARGS, ""},
{"remove_timer", (PyCFunction)remove_python_timer, METH_VARARGS, ""},
{"set_iutf8", (PyCFunction)pyset_iutf8, METH_VARARGS, ""},
{NULL} /* Sentinel */
};