From b0f0c8b822f0e6bf13d8075cac40b4a2e4ab6e4e Mon Sep 17 00:00:00 2001
From: Daenney <daenney@users.noreply.github.com>
Date: Sun, 9 Jul 2023 18:25:14 +0200
Subject: [PATCH] [docs] Activate the edit feature (#1967)

We already set edit_uri, but we forgot to enable the feature flag. By
turning it on each page now gets an edit button on the right hand side
of the page header. This'll open the edit view in GitHub.
---
 mkdocs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mkdocs.yml b/mkdocs.yml
index d7e4fcda..bcfc9f75 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -7,6 +7,7 @@ theme:
   features:
     - header.autohide
     - content.code.copy
+    - content.action.edit
   palette:
     - scheme: slate
       toggle: