@Override
	public void setFont(Font font) {
		createAttributes(font);
		updateCurrentTextWithNewFont();

		super.setFont(font);
	}
% of characters to delete when truncation is necessary
Ghidra/Features/Base/src/main/java/ghidra/framework/main/ConsoleTextPane.java