-
Notifications
You must be signed in to change notification settings - Fork 10.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Editor] Support resizing editors with the keyboard (bug 1854340) #17062
Conversation
437d72b
to
8993f86
Compare
/botio-linux preview |
From: Bot.io (Linux m4)ReceivedCommand cmd_preview from @calixteman received. Current queue size: 0 Live output at: http://54.241.84.105:8877/5ba5209cdbdf5ae/output.txt |
From: Bot.io (Linux m4)SuccessFull output at http://54.241.84.105:8877/5ba5209cdbdf5ae/output.txt Total script time: 1.42 mins Published |
8993f86
to
bfb1b5e
Compare
bfb1b5e
to
5e037c0
Compare
One quick observation is that it doesn't seem possible to undo (with Ctrl+Z) the resizing done via the keyboard without moving focus away from the resizer elements first, and it's not clear to me if this is intentional behaviour or not? Edit: This seems to apply to e.g. removing the editor (with Delete) as well. |
Yes it's on purpose: when we're entering in resize-with-keyboard mode we can just resize. |
5e037c0
to
8f00a90
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
r=me, thank you!
8f00a90
to
05ca3fd
Compare
/botio integrationtest |
From: Bot.io (Linux m4)ReceivedCommand cmd_integrationtest from @calixteman received. Current queue size: 0 Live output at: http://54.241.84.105:8877/4f20b9e0be73463/output.txt |
From: Bot.io (Windows)ReceivedCommand cmd_integrationtest from @calixteman received. Current queue size: 0 Live output at: http://54.193.163.58:8877/a7fc7b3c7d53c4b/output.txt |
From: Bot.io (Linux m4)SuccessFull output at http://54.241.84.105:8877/4f20b9e0be73463/output.txt Total script time: 5.62 mins
|
From: Bot.io (Windows)FailedFull output at http://54.193.163.58:8877/a7fc7b3c7d53c4b/output.txt Total script time: 17.46 mins
|
No description provided.