options.stop.label = Detener servidor de herramientas para desarrolladores
options.start.label = Iniciar servidor de herramientas para desarrolladores
options.connected.label = #1 cliente conectado;#1 clientes conectados
options.connected.tooltip = El servidor de herramientas para desarrolladores se está ejecutando y hay clientes conectados.
options.listening.label = Escuchando
options.listening.tooltip = El servidor de herramientas para desarrolladores se está ejecutando y esperando conexiones.
options.idle.label = No ejecutándose
options.idle.tooltip = El servidor de herramientas para desarrolladores no se está ejecutando. Puede iniciarlo desde este diálogo.
options.unsupported.label = No admitido
options.unsupported.tooltip = Ha sucedido un error al cargar el servidor empotrado de herramientas para desarrolladores. Asegúrese de que está empaquetado y busque mensajes en la consola de errores.
