Tools

In this menu there are some options to change the appearance of windows and some tools related to different aspects of GiD.