src/vs/workbench/contrib/terminal/browser/terminalEditorInput.ts/TerminalEditorInput/revert
class TerminalEditorInput:	override async revert(): Promise<void> {
		// On revert just treat the terminal as permanently non-dirty
		this._isReverted = true;
	}