Development Log

  • GNAT Pro | GPS | GNATbench
    Jul 18th, 2017

    GPS: A preferences assistant for newcomers
    When starting GPS for the first time, a preferences assistant window opens, allowing you to configure some general preferences (color theme, key bindings etc.).