Development Log

  • GNAT Pro | GPS | GNATbench
    Jul 17th, 2009

    Tip of the Day dialog
    GPS now displays a "Tip of the Day" dialog at startup. This is activated by default. To deactivate it, simply uncheck the box at the bottom and close it. To re-activate it, enable the preference "Tip of the Day" in the General section of the preferences.