context_menu.js.patch
| context_menu.js (working copy) | ||
|---|---|---|
| 95 | 95 |
|
| 96 | 96 |
createMenu: function() {
|
| 97 | 97 |
if (!$('context-menu')) {
|
| 98 |
var menu = document.createElement("div");
|
|
| 99 |
menu.setAttribute("id", "context-menu");
|
|
| 100 |
menu.setAttribute("style", "display:none;");
|
|
| 101 |
document.getElementById("content").appendChild(menu);
|
|
| 98 |
var menu = new Element('div');
|
|
| 99 |
menu.writeAttribute('id', 'context-menu');
|
|
| 100 |
menu.setStyle({
|
|
| 101 |
'display':'none' |
|
| 102 |
}); |
|
| 103 |
$('content').insert(menu);
|
|
| 102 | 104 |
} |
| 103 | 105 |
}, |
| 104 | 106 |
|