Index: runtime/observatory/lib/src/elements/debugger.html |
diff --git a/runtime/observatory/lib/src/elements/debugger.html b/runtime/observatory/lib/src/elements/debugger.html |
index 813adcc20553a81066374f92a8a4c365244f3708..5b74667d78b3a6adb982a9a0496b37b745879ea0 100644 |
--- a/runtime/observatory/lib/src/elements/debugger.html |
+++ b/runtime/observatory/lib/src/elements/debugger.html |
@@ -443,14 +443,34 @@ |
<template> |
<link rel="stylesheet" href="css/shared.css"> |
<style> |
+ .container { |
+ height: 100%; |
+ display: flex; |
+ flex-direction: row; |
+ justify-content: space-between; |
+ } |
.textBox { |
+ flex: 1 1 auto; |
margin: 20px; |
padding: 5px; |
font: 400 16px consolas, courier, monospace; |
width: 95%; |
} |
+ .modalPrompt { |
+ flex: 0 0 auto; |
+ margin-top: 20px; |
+ margin-left: 20px; |
+ padding: 5px; |
+ font: 400 16px consolas, courier, monospace; |
+ color: red; |
+ } |
</style> |
- <input id="textBox" class="textBox" type="text" value="{{ text }}" autofocus> |
+ <div class="container"> |
+ <template if="{{ modalPrompt != null }}"> |
+ <div class="modalPrompt">{{ modalPrompt }}</div> |
+ </template> |
+ <input id="textBox" class="textBox" type="text" value="{{ text }}" autofocus> |
+ </div> |
</template> |
</polymer-element> |