Update menu.lua (#3876)

This commit is contained in:
Peter Anderson 2023-12-29 21:19:12 +00:00 committed by GitHub
parent 375d9d7235
commit cb72c0a8b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -707,7 +707,7 @@ end
-- -- Bound to a key, it can be used to select from dozens of terminals open on -- -- Bound to a key, it can be used to select from dozens of terminals open on
-- -- several tags. -- -- several tags.
-- -- When using @{ruled.client.match_any} instead of @{ruled.client.match}, -- -- When using @{ruled.client.match_any} instead of @{ruled.client.match},
-- -- a menu of clients with different classes could be build. -- -- a menu of clients with different classes could be built.
-- --
-- function terminal_menu () -- function terminal_menu ()
-- terms = {} -- terms = {}