mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-08 04:27:37 +00:00
12 lines
410 B
JavaScript
12 lines
410 B
JavaScript
|
// -*- Mode: Java -*-
|
||
|
|
|
||
|
|
function Init()
|
||
|
|
{
|
||
|
|
var panel_name_div = document.getElementById('panelname');
|
||
|
|
var customize_frame = document.getElementById('customizeframe');
|
||
|
|
var panel_text = document.createTextNode(panel_name)
|
||
|
|
panel_name_div.appendChild(panel_text);
|
||
|
|
// The customize page currently is not loading because of a redirect bug.
|
||
|
|
customize_frame.setAttribute('src', panel_customize_URL);
|
||
|
|
}
|