diff options
Diffstat (limited to '')
| -rw-r--r-- | l10n-rm/mail/chrome/messenger/devtools/dbgserver.properties | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/l10n-rm/mail/chrome/messenger/devtools/dbgserver.properties b/l10n-rm/mail/chrome/messenger/devtools/dbgserver.properties new file mode 100644 index 0000000000..ea2f53001b --- /dev/null +++ b/l10n-rm/mail/chrome/messenger/devtools/dbgserver.properties @@ -0,0 +1,11 @@ +options.stop.label=Stop Developer Tools Server +options.start.label=Start Developer Tools Server + +options.connected.label=#1 Client Connected;#1 Clients Connected +options.connected.tooltip=The developer tools server is running and there are clients connected. +options.listening.label=Listening +options.listening.tooltip=The developer tools server is running and waiting for connections. +options.idle.label=Not Running +options.idle.tooltip=The developer tools server is not running. You can start it from this dialog. +options.unsupported.label=Unsupported +options.unsupported.tooltip=There was an error loading the built-in developer tools server. Make sure it is packaged and check your error console for messages. |