mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-31 22:32:45 +00:00
ensure options object is freed at shutdown
This commit is contained in:
parent
30023d9d9c
commit
065f216c6f
1 changed files with 1 additions and 0 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue