Development Log

  • 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 top-level menus, using symbols like up arrow for the shift key, a caret sign for the control key, and the special symbols for Mac keyboards.