function ( element, options ) {
    this.$element = $(element)
    this.options = options
    this.enabled = true
    /***** [changed for Brackets] *****/
    this.autoHideTimeout = null;
    /***** [/changed for Brackets] *****/
    this.fixTitle()
  }
function ( element, options ) {
    this.$element = $(element)
    this.options = options
    this.enabled = true
    /***** [changed for Brackets] *****/
    this.autoHideTimeout = null;
    /***** [/changed for Brackets] *****/
    this.fixTitle()
  }
function ( element , options ) { this . $element = $ ( element ) this . options = options this . enabled = true /***** [changed for Brackets] *****/ this . autoHideTimeout = null ; /***** [/changed for Brackets] *****/ this . fixTitle ( ) }
/* TWIPSY PUBLIC CLASS DEFINITION
==============================
/ * TWIPSY PUBLIC CLASS DEFINITION ==============================
Constructor for the node