Patch from Philippe Mingo to fix the javascript 'Select All' (actually turns