Index: common/header.js |
=================================================================== |
new file mode 100644 |
--- /dev/null |
+++ b/common/header.js |
@@ -0,0 +1,18 @@ |
+document.getElementById('title').appendChild(document.createTextNode(translate.get('ext_name') + ' - ' + translate.get('preferences'))); |
+ |
+var headerParent = document.getElementById('header'); |
+ |
+var logo = document.createElement('img'); |
+logo.setAttribute('src', '/images/icon32.png'); |
+logo.setAttribute('width', '32px'); |
+logo.setAttribute('length', '32px'); |
+ |
+var title = document.createElement('h1'); |
+title.appendChild(logo); |
+title.appendChild(document.createTextNode(' ' + translate.get('ext_name'))); |
+ |
+var subtitle = document.createElement('h4'); |
+subtitle.appendChild(document.createTextNode(translate.get('ext_descript'))); |
+ |
+headerParent.appendChild(title); |
+headerParent.appendChild(subtitle); |