src/vs/workbench/contrib/markers/browser/markersViewActions.ts/MarkersFilters/layout
class MarkersFilters:	set layout(layout: DOM.Dimension) {
		if (this._layout.width !== layout.width || this._layout.height !== layout.height) {
			this._layout = layout;
			this._onDidChange.fire(<IMarkersFiltersChangeEvent>{ layout: true });
		}
	}