blob: 6476f1a89dba3229542b59d14a6da9cd2c172c86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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.
|
