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

Add a function to change timer intervals

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

11
kitty/child-monitor.c
View File

@ -765,6 +765,16 @@ remove_python_timer(PyObject *self UNUSED, PyObject *args) {
Py_RETURN_NONE;
}
static PyObject*
change_python_timer_interval(PyObject *self UNUSED, PyObject *args) {
unsigned long long timer_id;
double interval;
if (!PyArg_ParseTuple(args, "Kd", &timer_id, &interval)) return NULL;
change_timer_interval(&main_event_loop, timer_id, interval);
Py_RETURN_NONE;
}
static inline void
process_pending_resizes(double now) {
global_state.has_pending_resizes = false;
@ -1413,6 +1423,7 @@ static PyMethodDef methods[] = {
METHOD(resize_pty, METH_VARARGS)
{"add_timer", (PyCFunction)add_python_timer, METH_VARARGS, ""},
{"remove_timer", (PyCFunction)remove_python_timer, METH_VARARGS, ""},
{"change_timer_interval", (PyCFunction)change_python_timer_interval, METH_VARARGS, ""},
{"set_iutf8", (PyCFunction)pyset_iutf8, METH_VARARGS, ""},
{NULL} /* Sentinel */
};