diff options
Diffstat (limited to 'devtools/client/webide/content/logs.xhtml')
-rw-r--r-- | devtools/client/webide/content/logs.xhtml | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/devtools/client/webide/content/logs.xhtml b/devtools/client/webide/content/logs.xhtml new file mode 100644 index 000000000..8d003e509 --- /dev/null +++ b/devtools/client/webide/content/logs.xhtml @@ -0,0 +1,33 @@ +<?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="resource://devtools/client/themes/common.css" type="text/css"/> + <link rel="stylesheet" href="chrome://webide/skin/logs.css" type="text/css"/> + <script type="application/javascript;version=1.8" src="chrome://devtools/content/shared/theme-switching.js"></script> + <script type="application/javascript;version=1.8" src="logs.js"></script> + </head> + <body> + + <div id="controls"> + <a id="close">&deck_close;</a> + </div> + + <h1>&logs_title;</h1> + + <ul id="logs" class="devtools-monospace"> + </ul> + + </body> +</html> |