Do not use GtkResponseType as response ID type
commit50f4178ecce6abf802a44f563107bd0bca90720a
authorColomban Wendling <ban@herbesfolles.org>
Sun, 29 Oct 2023 20:13:16 +0000 (29 21:13 +0100)
committerColomban Wendling <ban@herbesfolles.org>
Thu, 16 Nov 2023 09:56:02 +0000 (16 10:56 +0100)
tree87c8c88ef50dd106bb31837359be7aa38d86dab7
parent496519d6631dfdef8d41559c642deac933e22f97
Do not use GtkResponseType as response ID type

`GtkResponseType` is supposed to be extensible by user code, and as
such is not used as a type in GTK public API, but as `gint`, which
allows passing other values (possibly from other enumerations) without
risking type conversion issues or compiler warnings.

Do the same in our own helper not to trigger GCC's `-Wenum-conversion`.
src/document.c