En el menú de "vista" en "proof" (no sé como se traduce) mira si tienes activado alguna cosa extraña...