# File hexja, line 967
  def ungetc(c)
    @undoBuffer.unshift(c)
  end