File tree 2 files changed +7
-1
lines changed
2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change @@ -186,6 +186,7 @@ body.full-screen-terminal .terminal {
186
186
.terminal .terminal-output > div : not (.raw ) div {
187
187
white-space : nowrap;
188
188
}
189
+
189
190
.cmd .cmd-prompt > span {
190
191
float : left;
191
192
}
@@ -315,6 +316,11 @@ terminal .terminal-output > div {
315
316
.cmd .cmd-prompt {
316
317
position : relative;
317
318
z-index : 200 ;
319
+ /* Make sure prompt margin takes up space so that echo with newline : false
320
+ * works when prompt is empty
321
+ */
322
+ border : 0.01px solid transparent;
323
+ float : left;
318
324
}
319
325
.cmd [role = "presentation" ]: not (.cmd-cursor-line ) {
320
326
overflow : hidden;
Original file line number Diff line number Diff line change 9387
9387
cmd_prompt . css ( 'margin-left' , partial_width ) ;
9388
9388
cmd_outer . css ( 'top' , - last_row_rect . height ) ;
9389
9389
// Measure length of partial line in characters
9390
- var char_width = command_line . char_width ;
9390
+ var char_width = self . geometry ( ) . char . width ;
9391
9391
var prompt_margin = Math . round ( partial_width / char_width ) ;
9392
9392
command_line . __set_prompt_margin ( prompt_margin ) ;
9393
9393
}
You can’t perform that action at this time.
0 commit comments