/** * Module that takes care of header buttons */ var Header = { init: function(options) { this.options = $.extend( this.options, options ); }, options: {}, // Nothing for now canTravel: function() { return $('div#header div.headerButton').length > 1; }, addLocation: function(text, id, module, before) { const toAdd = $('