Method updateTitle

src/test/Test_Event.java:595–600

()

	}

	protected void updateTitle() {
		Component c = DefaultKeyboardFocusManager.getCurrentKeyboardFocusManager().getFocusOwner();

		if(logging)System.out.println("Test_Editor focus owner is " + (c == null ? null : c.getClass().getName()));
		setTitle((++n) + "  " + (c == null ? null : c.getClass().getName()));
	}

}