Development Log

  • GPS | GNATbench
    Nov 28th, 2012

    GPS: use ellipsis in window titles
    The text in title bars and in the notebook tabs will now use ellipsis ("...") when the window is too small to accomodate the entire text. The size of notebook tabs is also limited so we do not end up with a single tab using most of the notebook width, thus hiding the others. This behavior is controlled by a new preference "Window/Homogeneous Tabs".