anchor.diff:      // (INSERT=45, PAGEUP=33, PAGEDOWN=34).
       if (key == 45 || key == 33 || key == 34) return;
   
  +    // Special handling of DELETE, HOME, and END keys.
  +    // TODO: fix this when xterm emulation is supported.
  +    switch (key) {
  +      case 46:
  +        _handleDeleteKey();
  +        return;
  +      case 36:
  +        _handleHomeKey();
  +        return;
  +      case 35:
  +        _handleEndKey();
  +        return;
  +    }
  +
       // Carriage Return (13) => New Line (10).
       if (key == 13) {
         key = 10;
  
positive.code:     }
  
      stdin.add([key]);
    }
  
    /// Processes [output] by coordinating handling of strings
  
negative.code:         stdin.add([i]);
        }
      });
    }
  
    Future<bool> _listenForBell() {
      return stdout.stream.first.then((e) => e.contains(7));
    }
  
    /// Handles a given [KeyboardEvent].
  