Development Log

  • GNAT Pro | GPS | GNATbench
    Feb 10th, 2016

    GPS: New GUI for the preferences dialog
    The GPS preferences dialog has been completely reworked. A new look-and-feel has been introduced, gathering the preferences in groups and with the documentation being direclty displayed under each preference. The user is now able to search among preferences using the omnisearch bar or the preferences dialog local search bar. The color theme picker and the key shortcuts and plugins editors are now directly accessible from the preferences dialog. GPS hidden preferences can now be displayed and edited by activating the "Show advanced preferences" setting from the dialog's local menu.