From 47ad7d8a95aa03406b545b595b29a999c540723c Mon Sep 17 00:00:00 2001 From: a-kenji Date: Tue, 26 Aug 2025 11:52:08 +0200 Subject: [PATCH] docs: Add edit button to documentation pages Closes: #4966 --- docs/mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 8e82e5dc4..6b1616709 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -173,6 +173,7 @@ theme: - content.code.annotate - content.code.copy - content.tabs.link + - content.action.edit icon: repo: fontawesome/brands/git custom_dir: overrides