--- a/QTfrontend/hwconsts.cpp.in Tue Nov 09 19:17:53 2010 +0100
+++ b/QTfrontend/hwconsts.cpp.in Wed Nov 10 00:56:21 2010 +0100
@@ -76,6 +76,12 @@
"0000000000000000000000000000000000000000000000000"
"0000000000000205500000040007004000000000200000000"
"1111111111111111111111111111111111111111111101111"
+ ))
+ << qMakePair(QString("Thinking with Portals"), QString(
+ "9000009002000000002100000000000000110000090000000"
+ "0405040541600655546554464776576666666155510101117"
+ "0000000000000205500000040007004000000000200000000"
+ "1311110312111111123114111111111111111211111101111"
));
QColor *colors[] = {