Issue 6724: 	Textbox margin in console