I’ve added couple of animation new features to Tkenv, such as animation of sendDirect(), animation of method calls across modules, marking the location of the next/current event in the network graphics, display of queue size as a number next to the module icon in the network graphics, display of transmission/reception range of wireless nodes, and using icons for messages. The features have been announced in the mailing list, with screenshots. Other recent improvements are the filtered object dialog (also announced on the mailing list) and saving/restoring all settings in the .tkenvrc file.