+ int alpha;
+ if(timer.get_gone() < FADING_TIME)
+ alpha = timer.get_gone() * 255 / FADING_TIME;
+ else if(timer.get_left() < FADING_TIME)
+ alpha = timer.get_left() * 255 / FADING_TIME;
+ else
+ alpha = 255;
+
+ context.push_transform();
+ context.set_alpha(alpha);
+