| OLD | NEW |
| (Empty) |
| 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 | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 var greeting = "Hello, World!"; | |
| 6 | |
| 7 void main() { | |
| 8 // Put cursor at end of previous line. Hit backspace. | |
| 9 // 1. Ensure this triggers a single-line change. | |
| 10 // 2. Ensure the cursor position is correct. | |
| 11 // Then restore the file and place the cursor at the end of the file. Delete | |
| 12 // each character in the file by holding down backspace. Verify that there | |
| 13 // are no exceptions and that the entire buffer is deleted. | |
| 14 // Then restore the file and place the cursor before the semicolon on the | |
| 15 // first line. Hit delete and verify that a character is deleted. | |
| 16 print(greeting); | |
| 17 } | |
| OLD | NEW |