| Index: trunk/extensions/UsabilityInitiative/EditToolbar/EditToolbar.js |
| — | — | @@ -1238,6 +1238,9 @@ |
| 1239 | 1239 | end = start + matches[i].length; |
| 1240 | 1240 | $textarea.setSelection( start, end ); |
| 1241 | 1241 | $textarea.encapsulateSelection( '', replaceStr, '', false, true ); |
| | 1242 | + |
| | 1243 | + // $textarea.val() has changed |
| | 1244 | + text = fixOperaBrokenness( $textarea.val() ); |
| 1242 | 1245 | } |
| 1243 | 1246 | if ( $j( '#edittoolbar-replace-all' ).is( ':checked' ) ) |
| 1244 | 1247 | alert( gM( 'edittoolbar-tool-replace-success', i ) ); |
| Index: trunk/extensions/UsabilityInitiative/EditToolbar/EditToolbar.php |
| — | — | @@ -19,7 +19,7 @@ |
| 20 | 20 | /* Configuration */ |
| 21 | 21 | |
| 22 | 22 | // Bump the version number every time you change any of the .css/.js files |
| 23 | | -$wgEditToolbarStyleVersion = 36; |
| | 23 | +$wgEditToolbarStyleVersion = 37; |
| 24 | 24 | |
| 25 | 25 | // Set this to true to simply override the stock toolbar for everyone |
| 26 | 26 | $wgEditToolbarGlobalEnable = false; |