Development Log

  • GNAT Pro | GPS | GNATbench
    Mar 18th, 2016

    GPS: Preference for tab orientation
    New preference added to configure default tab orientation. This allows, for example, to put tabs horizontally at right side of a window.