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 |