Development Log

  • GNAT Pro | GPS | GNATbench
    Apr 21st, 2017

    GPS: Items selection improved in GPS browsers
    On Linux, electing an item now deselects any other unless the user is pressing a modifier key.