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