Content deleted Content added
m make scrolling optional |
m oops |
||
Line 516:
}
var editform = document.getElementById('editform'),
suggestion = ct.suggestions[k];
if (suggestion.replacement == null) { // the issue is not automatically fixable
Line 530:
suggestion.start + suggestion.replacement.length
);
if(ct.noscroll)editform.wpTextbox1.scrollTop=
// Propose an edit summary unless it's a new section
if (!editform['wpSection'] || (editform['wpSection'].value != 'new')) {
|