After opening the dialog box to insert a reference to a label, when a label is chosen there is a button "Go to label" in order to check whether the label is really the correct one. Good. After having hit this button, it is replaced with "Go back", so that I can get to the original point after having checked the label. Ok.
The only drawback, in this, is that when I am back to the original point the label I checked is no longer selected, so that now I know whether it was the right one or not but, possibly, I don't remember its name... :( Am I doing something wrong? To make the dialog box behave even better, maybe it would be nice if when a label is selected then a (small) preview/portion of the formula or of the text is displayed (and maybe it could be chosen by the user whether to activate this option or not).