| 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); |