| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library trydart.incremental_compilation_update_test; | 5 library trydart.incremental_compilation_update_test; |
| 6 | 6 |
| 7 import 'dart:html' hide | 7 import 'dart:html' hide |
| 8 Element; | 8 Element; |
| 9 | 9 |
| 10 import 'dart:async' show | 10 import 'dart:async' show |
| (...skipping 1920 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1931 for (String text in splitLines(code)) { | 1931 for (String text in splitLines(code)) { |
| 1932 PreElement line = new PreElement() | 1932 PreElement line = new PreElement() |
| 1933 ..appendText(text.trimRight()) | 1933 ..appendText(text.trimRight()) |
| 1934 ..classes.add("line"); | 1934 ..classes.add("line"); |
| 1935 result.append(line); | 1935 result.append(line); |
| 1936 } | 1936 } |
| 1937 | 1937 |
| 1938 return result; | 1938 return result; |
| 1939 } | 1939 } |
| 1940 | 1940 |
| 1941 | |
| 1942 StyleElement lineNumberStyle() { | 1941 StyleElement lineNumberStyle() { |
| 1943 StyleElement style = new StyleElement()..appendText(''' | 1942 StyleElement style = new StyleElement()..appendText(''' |
| 1944 h2, h3 { | 1943 h2, h3 { |
| 1945 color: black; | 1944 color: black; |
| 1946 } | 1945 } |
| 1947 | 1946 |
| 1948 .output { | 1947 .output { |
| 1949 padding: 0px; | 1948 padding: 0px; |
| 1950 counter-reset: line-number; | 1949 counter-reset: line-number; |
| 1951 padding-bottom: 1em; | 1950 padding-bottom: 1em; |
| (...skipping 12 matching lines...) Expand all Loading... |
| 1964 position: absolute; | 1963 position: absolute; |
| 1965 left: 0px; | 1964 left: 0px; |
| 1966 width: 3em; | 1965 width: 3em; |
| 1967 text-align: right; | 1966 text-align: right; |
| 1968 background-color: lightgoldenrodyellow; | 1967 background-color: lightgoldenrodyellow; |
| 1969 } | 1968 } |
| 1970 '''); | 1969 '''); |
| 1971 style.type = 'text/css'; | 1970 style.type = 'text/css'; |
| 1972 return style; | 1971 return style; |
| 1973 } | 1972 } |
| OLD | NEW |