Hi David

> > I would like to know if this (selecting text in order
> > to copy it) could be developped, and some pointer to
> > dive into the solution of this possible feature.
>
> Options -> Preferences -> Export

OK, I understand, but this feature was hard to find.

Thank you very much.
--
Pierre François
Tervuursevest 123 bus 24
BE-3001 Leuven (Belgium)
+32 16 23 21 52
+32 474 719 131
_______________________________________________
Public archival of this list without permission is prohibited.
http://lists.plkr.org/mailman/listinfo/plucker-dev