From d3a3a89098445bdac94ec78de4ed626e9e24cd99 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Thu, 31 Jan 2019 18:43:12 +0530
Subject: [PATCH] Add a function to change timer intervals

---
 kitty/child-monitor.c | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/kitty/child-monitor.c b/kitty/child-monitor.c
index 2126d71c6..103d16e02 100644
--- a/kitty/child-monitor.c
+++ b/kitty/child-monitor.c
@@ -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 */
 };