nl_tokens: We need to see the output of the latest command entered
pl_tokens: function ( ) { // Certain browsers have a bug such that scrollHeight is too small // when content does not fill the client area of the element var scrollHeight = Math . max ( this . <mask> . scrollHeight , this . output . clientHeight ) ; this . output . scrollTop = scrollHeight - this . output . clientHeight ; }