Tommaso Cucinotta ha scritto:
like a "paragraph settings" or "layout settings" dialog.
Or, in order to have it more explicit in the text, it might be simply a little "hole" that always appears near the very start of the environment supporting the option, e.g.:
http://feanor.sssup.it/~tommaso/proof2.png where the user may insert the alternate text, e.g. http://feanor.sssup.it/~tommaso/proof.png what, compared with the current implementation, means "only" to constraint the place where the optional-insert inset is placed on the screen, making it always visible (or having somewhere a checkbox that enables it to be displayed), and simplifying its appearence removing the "Opt" (anyway, why, after selecting "short title", do I get an "Opt" labelled thing ?). T.
