From 3ec9414ace9cadbac001f80f19086c766928a546 Mon Sep 17 00:00:00 2001
From: "Josep M. Ferrer" <txemaq@saragata.net>
Date: Tue, 31 Jan 2023 09:42:14 +0000
Subject: [PATCH] Fix a duplicated "option" word

---
 doc/kwinscreenedges/index.docbook | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/kwinscreenedges/index.docbook b/doc/kwinscreenedges/index.docbook
index 9476745b2c..1881bf5c48 100644
--- a/doc/kwinscreenedges/index.docbook
+++ b/doc/kwinscreenedges/index.docbook
@@ -56,7 +56,7 @@ In the <guilabel>Movement</guilabel> tab of the <guilabel>Window Behavior</guila
 </para>
 </tip>
 
-<para>Disable the option <guilabel>Remain active when windows are fullscreen</guilabel> option to suppress triggering screen edge actions when an application is running in fullscreen.</para>
+<para>Disable the <guilabel>Remain active when windows are fullscreen</guilabel> option to suppress triggering screen edge actions when an application is running in fullscreen.</para>
 
 <para>Using the <guilabel>Switch desktop on edge</guilabel> item, configure if you want to switch 
 to another desktop when pushing the mouse cursor to an edge of the screen, &eg; only when