Development Log

  • GNAT Pro | GPS | GNATbench
    Feb 13th, 2012

    GPS: new command GPS.EditorLocation.inside_word
    A new GPS shell/Python command is available to determine whether a location is inside a word. This is useful when creating editor plugins.