nl_tokens: Remove multiple buttons from an array of ids
pl_tokens: function removeButtons ( <mask> ) { buttons = $ . grep ( buttons , function ( button ) { return ids . indexOf ( button . id ) == - 1 ; } ) ; updateAllButtons ( ) ; }