function switchFileTab(span, window_id) {
	let old_span = document.querySelector('.tabSelected');
	old_span.classList.remove('tabSelected');
	span.classList.add('tabSelected');

	let old_window = document.querySelector('.tabWindowSelected');
	old_window.classList.remove('tabWindowSelected');
	let tab_window = document.querySelector('#' + window_id);
	tab_window.classList.add('tabWindowSelected');
}