wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 22:35:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Shortened the names of operations

Browse source
This commit is contained in:
Trevor Parscal 2011-12-07 22:37:41 +00:00
parent c0a02cd6c3
commit 19c7e874d6
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/sandbox/sandbox.js
View file

@ -492,7 +492,7 @@ $(document).ready( function() {
while ( --i >= end ) {
action = surfaceModel.history[i];
if ( action instanceof es.Range ) {
events += '<div>select( ' + action.from + ', ' + action.to + ' )</div>';
events += '<div>sel( ' + action.from + ', ' + action.to + ' )</div>';
} else {
ops = action.getOperations().slice( 0 );
for ( var j = 0; j < ops.length; j++ ) {
@ -506,7 +506,7 @@ $(document).ready( function() {
if ( typeof data !== 'string' && typeof data !== 'number' ) {
data = '-';
}
ops[j] = ops[j].type + '( ' + data + ' )';
ops[j] = ops[j].type.substr( 0, 3 ) + '( ' + data + ' )';
}
events += '<div>' + ops.join( ', ' ) + '</div>';
}
@ -540,6 +540,7 @@ $(document).ready( function() {
} );
} );
surfaceModel.on( 'transact', function() {
if ( currentMode ) {
currentMode.update.call( currentMode );