не в JS уж тогда переименовывать надо а в name.js
Хотя зачастую грисманковские .user.js не работают или работают криво в опере, так как не хватает некоторых грисманковых функций, но если этот таки нормально отрабатывает после загрузки страницы, то можно для ускорения:
1 в opera:config проверить что бы было отключен параметр
opera:config#Extensions|DelayedScriptExecution
т.к. некоторые страничные скрипты могут подвисать при его включении и в результате страница все время остается в состоянии загрузки
2. переименовываем скрипт в name.js, и если работа его поломалась, пробуем его поправить:
после заголовка
//@ бла-бла- бла
//@ bla- bla
поставить
addEventListener('DOMContentLoaded', function(){
и в самый конец добавить строку
}, false);
|