console.lua: close with right click

Useful to close the console after it was opened with the mouse.

Also fix the spacing of the previous line.
This commit is contained in:
Guido Cella 2024-10-09 17:01:17 +02:00 committed by Kacper Michajłow
parent 4ab1ab8284
commit ad0c29e5ac
1 changed files with 2 additions and 1 deletions

View File

@ -1585,6 +1585,7 @@ local function get_bindings()
{ 'ins', handle_ins },
{ 'shift+ins', function() paste(false) end },
{ 'mbtn_mid', function() paste(false, true) end },
{ 'mbtn_right', function() set_active(false) end },
{ 'left', function() prev_char() end },
{ 'ctrl+b', function() page_up_or_prev_char() end },
{ 'right', function() next_char() end },