diff --git a/kitty/state.c b/kitty/state.c index c11f7e86b..ebcc58b00 100644 --- a/kitty/state.c +++ b/kitty/state.c @@ -1461,6 +1461,7 @@ finalize(void) { #define F(x) free(OPT(x)); OPT(x) = NULL; F(background_image); F(bell_path); F(bell_theme); F(default_window_logo); #undef F + Py_CLEAR(options_object); // we leak the texture here since it is not guaranteed // that freeing the texture will work during shutdown and // the GPU driver should take care of it when the OpenGL context is