Fix webclient prompt (issue #950)
This commit is contained in:
parent
3890bcbfc7
commit
a9bc6a1f64
2 changed files with 5 additions and 2 deletions
|
|
@ -165,6 +165,7 @@ div {margin:0px;}
|
||||||
/* prompt area above input field */
|
/* prompt area above input field */
|
||||||
#prompt {
|
#prompt {
|
||||||
margin-top: 10px;
|
margin-top: 10px;
|
||||||
|
padding: 0 .45em;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* No javascript warning */
|
/* No javascript warning */
|
||||||
|
|
|
||||||
|
|
@ -190,8 +190,10 @@ function onText(args, kwargs) {
|
||||||
// Handle prompt output from the server
|
// Handle prompt output from the server
|
||||||
function onPrompt(args, kwargs) {
|
function onPrompt(args, kwargs) {
|
||||||
// show prompt
|
// show prompt
|
||||||
$('#prompt').replaceWith(
|
$('#prompt')
|
||||||
"<div id='prompt'>" + args[0] + "</div>");
|
.addClass("msg out")
|
||||||
|
.html(args[0]);
|
||||||
|
doWindowResize();
|
||||||
}
|
}
|
||||||
|
|
||||||
// Silences events we don't do anything with.
|
// Silences events we don't do anything with.
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue