Index: dart/site/try/bugs/single_line_delete.dart |
diff --git a/dart/site/try/bugs/single_line_delete.dart b/dart/site/try/bugs/single_line_delete.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7971d7f1525a04635929e6387a1614bbc6a6e974 |
--- /dev/null |
+++ b/dart/site/try/bugs/single_line_delete.dart |
@@ -0,0 +1,17 @@ |
+// 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); |
+} |