Grasscutters/mitmproxy
3
0
Fork 0
mirror of https://github.com/Grasscutters/mitmproxy.git synced 2024-11-26 18:18:25 +00:00
Code Issues Projects Releases Wiki Activity

Add a space after prefilled console command string (#3985)

Browse Source 
Add a space after console command string
This commit is contained in:
| |三 \/ | |\| 2020-05-08 22:04:05 +02:00 committed by GitHub
parent 8d8f4fd752
commit 3372b77e93
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mitmproxy/tools/console/consoleaddons.py
View File

@ -292,6 +292,8 @@ class ConsoleAddon:
Prompt the user to edit a command with a (possibly empty) starting value. Prompt the user to edit a command with a (possibly empty) starting value.
""" """
quoted = " ".join(command_lexer.quote(x) for x in command_str) quoted = " ".join(command_lexer.quote(x) for x in command_str)
if quoted:
quoted += " "
signals.status_prompt_command.send(partial=quoted) signals.status_prompt_command.send(partial=quoted)
@command.command("console.command.set") @command.command("console.command.set")