| 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);
|
| -}
|
|
|