| // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| var greeting = "Hello, World!"; |
| |
| void main() { |
| // Put cursor at end of previous line. Hit backspace. |
| // 1. Ensure this triggers a single-line change. |
| // 2. Ensure the cursor position is correct. |
| // Then restore the file and place the cursor at the end of the file. Delete |
| // each character in the file by holding down backspace. Verify that there |
| // are no exceptions and that the entire buffer is deleted. |
| // Then restore the file and place the cursor before the semicolon on the |
| // first line. Hit delete and verify that a character is deleted. |
| print(greeting); |
| } |