i have a suggestion.
i want to reduce height of syntaxhighlight element when user doubleclick, so i added some code to Mediawiki:common.js.
----
$('.mw-highlight pre').dblclick(function(event) {
if ($(event.target).parent().attr('class') == "scrolldiv") {
$(event.target).unwrap();
} else {
$(event.target).wrap('<div class="scrolldiv"/>');
$('.scrolldiv').css({ height: '300px', overflow: 'auto' });
}
});
---
i thought it would be useful for someone.:)
thank you!