@ Andreas:
Code
// Radio-Button fix 27
(function () {
if (location != 'chrome://browser/content/browser.xul') return;
const buttonId = 'radio-de-button';
const buttonLabel = 'radio.de';
const buttonTooltiptext = 'radio.de';
const buttonIcon = 'url(data:image/gif;base64,R0lGODlhEgASALMPAP//95v/GAIlCAQWBAQ1DMb/a97/rWveEFLWEJz/GAhrGAiUISG1If///wAAAP///yH5BAEAAA8ALAAAAAASABIAAAR18Mnpqp2YupN6KVUmOQzCJYWhGk5GlmcKzCy1MLBnzFb7WDnUztEotojGTUCILDYqTuMy0XRCjc8TslkhCASDAcJEjSYVizRufDhULQr0DVca90KOeHpO7/vyemp9dD4/cQoVe4qFI4eIDosiP4COIZIjdyIRADs=)';
function buttonFunction() {
gBrowser.selectedTab = gBrowser.addTab('http://www.radio.de/');
};
var button = document.createElement('toolbarbutton');
button.id = buttonId;
button.setAttribute('class', 'chromeclass-toolbar-additional');
button.setAttribute('label', buttonLabel);
button.setAttribute('tooltiptext', buttonTooltiptext);
button.style.listStyleImage = buttonIcon;
button.addEventListener('click', function (event) {
if (event.button == 0)
buttonFunction();
});
var PanelUIButton = document.getElementById('PanelUI-menu-button');
PanelUIButton.parentElement.insertBefore(button, PanelUIButton);
}) ();
Alles anzeigen