diff options
Diffstat (limited to 'devtools/client/webide/content/monitor.xhtml')
-rw-r--r-- | devtools/client/webide/content/monitor.xhtml | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/devtools/client/webide/content/monitor.xhtml b/devtools/client/webide/content/monitor.xhtml new file mode 100644 index 000000000..552f3826c --- /dev/null +++ b/devtools/client/webide/content/monitor.xhtml @@ -0,0 +1,31 @@ +<?xml version="1.0" encoding="UTF-8"?> + +<!-- This Source Code Form is subject to the terms of the Mozilla Public + - License, v. 2.0. If a copy of the MPL was not distributed with this + - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> + +<!DOCTYPE html [ + <!ENTITY % webideDTD SYSTEM "chrome://devtools/locale/webide.dtd" > + %webideDTD; +]> + + +<html xmlns="http://www.w3.org/1999/xhtml"> + <head> + <meta charset="utf8"/> + <link rel="stylesheet" href="chrome://webide/skin/deck.css" type="text/css"/> + <link rel="stylesheet" href="chrome://webide/skin/monitor.css" type="text/css"/> + <script src="chrome://devtools/content/shared/vendor/d3.js"></script> + <script type="application/javascript;version=1.8" src="monitor.js"></script> + </head> + <body> + + <div id="controls"> + <a href="https://developer.mozilla.org/docs/Tools/WebIDE/Monitor" target="_blank">&monitor_help;</a> + <a id="close">&deck_close;</a> + </div> + + <h1>&monitor_title;</h1> + + </body> +</html> |