| OLD | NEW |
| 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> | 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> |
| 2 <link rel="import" href="function_ref.html"> | 2 <link rel="import" href="function_ref.html"> |
| 3 <link rel="import" href="nav_bar.html"> | 3 <link rel="import" href="nav_bar.html"> |
| 4 <link rel="import" href="eval_link.html"> | 4 <link rel="import" href="eval_link.html"> |
| 5 <link rel="import" href="observatory_element.html"> | 5 <link rel="import" href="observatory_element.html"> |
| 6 <link rel="import" href="script_inset.html"> | 6 <link rel="import" href="script_inset.html"> |
| 7 <link rel="import" href="script_ref.html"> | 7 <link rel="import" href="script_ref.html"> |
| 8 | 8 |
| 9 <!-- TODO(turnidge): Use core-icon once core_elements work properly in | 9 <!-- TODO(turnidge): Use core-icon once core_elements work properly in |
| 10 devtools --> | 10 devtools --> |
| (...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 93 height: 0px; | 93 height: 0px; |
| 94 margin: 0px; | 94 margin: 0px; |
| 95 font-size: 1px; | 95 font-size: 1px; |
| 96 border-bottom: 1px solid #888; | 96 border-bottom: 1px solid #888; |
| 97 } | 97 } |
| 98 core-splitter { | 98 core-splitter { |
| 99 flex: 0 0 auto; | 99 flex: 0 0 auto; |
| 100 } | 100 } |
| 101 .console { | 101 .console { |
| 102 flex: 1 1 auto; | 102 flex: 1 1 auto; |
| 103 overflow-x: auto; |
| 103 overflow-y: auto; | 104 overflow-y: auto; |
| 104 } | 105 } |
| 105 .commandline { | 106 .commandline { |
| 106 flex: 0 0 auto; | 107 flex: 0 0 auto; |
| 107 } | 108 } |
| 108 </style> | 109 </style> |
| 109 | 110 |
| 110 <div class="container"> | 111 <div class="container"> |
| 111 <nav-bar id="navbarDiv" notifyOnPause="{{ false }}"> | 112 <nav-bar id="navbarDiv" notifyOnPause="{{ false }}"> |
| 112 <top-nav-menu></top-nav-menu> | 113 <top-nav-menu></top-nav-menu> |
| (...skipping 334 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 447 padding: 5px; | 448 padding: 5px; |
| 448 font: 400 16px consolas, courier, monospace; | 449 font: 400 16px consolas, courier, monospace; |
| 449 width: 95%; | 450 width: 95%; |
| 450 } | 451 } |
| 451 </style> | 452 </style> |
| 452 <input id="textBox" class="textBox" type="text" value="{{ text }}" autofocus
> | 453 <input id="textBox" class="textBox" type="text" value="{{ text }}" autofocus
> |
| 453 </template> | 454 </template> |
| 454 </polymer-element> | 455 </polymer-element> |
| 455 | 456 |
| 456 <script type="application/dart" src="debugger.dart"></script> | 457 <script type="application/dart" src="debugger.dart"></script> |
| OLD | NEW |