Development Log

  • GNAT Pro | GPS | GNATbench
    Nov 21st, 2012

    GPS: Key shortcuts dialog display improved
    The display of the key shortcuts in this dialog now matches what is done for the toplevel menus, using symbols like up arrow for the shift key, a caret sign for the control key, and the special symbols for Mac keyboards.