From 0e74355782553c1d37ed439c523f765d7ade34db Mon Sep 17 00:00:00 2001
From: Maximiliano Sandoval <msandova@gnome.org>
Date: Sat, 25 May 2024 19:22:41 +0200
Subject: [PATCH] gdk: docs: Do not check KEY_* symbols

Documenting them is overkill.
---
 docs/reference/gdk/gdk4.toml.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/reference/gdk/gdk4.toml.in b/docs/reference/gdk/gdk4.toml.in
index c02c3c8338..199375874e 100644
--- a/docs/reference/gdk/gdk4.toml.in
+++ b/docs/reference/gdk/gdk4.toml.in
@@ -115,3 +115,7 @@ urlmap_file = "urlmap.js"
 [[object]]
 name = "DECLARE_INTERNAL_TYPE"
 hidden = true
+
+[[object]]
+pattern = "KEY_*"
+check_ignore = true