| |||
| puntatore di posizione (A pointer that marks a position in the markup text of an HTML document during editing in relation to the onscreen position of the rendered page. A display pointer is controlled by an GetDisplayGravity interface. Display pointers work in conjunction with markup pointers) | |||
