nl_tokens: Repaints the whole page . This fixes frequently encountered painting issues in mobile Safari .
pl_tokens: function ( ) { var <mask> = Ext . getBody ( ) . createChild ( { cls : Ext . baseCSSPrefix + 'mask ' + Ext . baseCSSPrefix + 'mask-transparent' } ) ; setTimeout ( function ( ) { mask . destroy ( ) ; } , 0 ) ; }