hi Chris,
right, it's https://bugs.edge.launchpad.net/ubuntu/+source/ipe/+bug/161191
I Included now all colors from colors.xml which is delivered in /usr/share/doc/ipe/doc/colors.xml.gz
Regards,
\sh
hi Chris,
right, it's https:/ /bugs.edge. launchpad. net/ubuntu/ +source/ ipe/+bug/ 161191
I Included now all colors from colors.xml which is delivered in /usr/share/ doc/ipe/ doc/colors. xml.gz
Regards,
\sh