- //gl.glColor4f((float)0.75, (float)0.25, (float)0.25, (float)0.3);
+ /*
+ if (t.e1().pair.t==null) gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3);
+ else if (t.e2().pair.t==null) gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3);
+ else if (t.e3().pair.t==null) gl.glColor4f((float)0.25, (float)0.25, (float)0.75, (float)0.3);
+ else gl.glColor4f((float)0.75, (float)0.25, (float)0.25, (float)0.3);
+ */