End of document menu: minor fix (#12962)

This commit is contained in:
hius07
2024-12-31 08:54:05 +02:00
committed by GitHub
parent b93ce8ba4b
commit b1940eb4d6
4 changed files with 14 additions and 18 deletions

View File

@@ -161,7 +161,7 @@ local order = {
"gesture_intervals",
"----------------------------",
"ignore_hold_corners",
"screen_disable_double_tab",
"screen_disable_double_tap",
"----------------------------",
"follow_links",
"----------------------------",