Fix a duplicated "option" word

This commit is contained in:
Josep M. Ferrer 2023-01-31 09:42:14 +00:00
parent 57a2f96e9e
commit 3ec9414ace

View file

@ -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