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

Comment out robs selection test stuff

Browse source 
Change-Id: I251de0935f733915042684d186da57b43bc35c51
This commit is contained in:
Rob Moen 2012-06-06 17:50:28 -07:00
parent 232f2c58f7
commit 72ee6bac1a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/sandbox/sandbox.js
View file

@ -652,8 +652,8 @@ $(document).ready( function() {
window.sandboxEditor = sandboxEditor;
/* Rob's test selection stuff */
surfaceModel.setSelection( new ve.Range(0, documentModel.getData().length ) );
view.showSelection ( surfaceModel.getSelection() );
//surfaceModel.setSelection( new ve.Range(0, documentModel.getData().length ) );
//view.showSelection ( surfaceModel.getSelection() );
/* Sandbox Warning Message */
$( '#es-docs' ).css( { 'visibility': 'visible' } );