Bug 884805 - Figure out if/how to best package the debugger as an extension. r=mconley
authorPhilipp Kewisch <mozilla@kewis.ch>
Sat, 28 Sep 2013 14:48:10 +0200
changeset 8086 ecefece9b65a5ce1819c52c01cd89c6a9e6ce119
parent 8085 16a32fb7e464ca7b316266300df9fdca65551712
child 8087 947ea2d71a6eb4134fc29e72caf608a8f3f25e14
push id1
push useraxel@mozilla.com
push dateTue, 10 Oct 2017 22:14:06 +0000
reviewersmconley
bugs884805
Bug 884805 - Figure out if/how to best package the debugger as an extension. r=mconley X-Channel-Repo: comm-central X-Channel-Converted-Revision: 9791b8bc1e647b5483f1e391b75593da251d7d49
mail/chrome/messenger/devtools/dbgserver.dtd
mail/chrome/messenger/devtools/dbgserver.properties
new file mode 100644
--- /dev/null
+++ b/mail/chrome/messenger/devtools/dbgserver.dtd
@@ -0,0 +1,4 @@
+<!ENTITY options.title "Developer Tools Options">
+<!ENTITY options.status.label "Status:">
+<!ENTITY options.port.label "Port:">
+<!ENTITY options.forcelocal.label "Allow connections from other computers">
new file mode 100644
--- /dev/null
+++ b/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.