% written by tools/figures.py: Figure "selection" and its links (data-links of the HUD)
\begingroup\setlength{\unitlength}{1mm}%
\begin{picture}(132.027,106.098)%
\put(0,0){\includegraphics{fig-selection.pdf}}%
\end{picture}\endgroup