You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
P126-029 The preferences API has been improved to have more explicit parameter names and types. . Some subprograms of the public API that could be used to create subpage and retrieve them (Register_Page and Get_Registered_Subpage) have been removed, so that the user does not have to know about the internal representation of the preferences pages hierarchy but only use one API for this purpose (Register_Page and Get_Registered_Page). . New String subtypes have been introduced to type the preferences paths, the pages names and the group names. Documentation has been added under the definition of each type so that the user knows the exact policy regarding preferences paths, pages names and group names. Change-Id: I54da501b31a1afa54bbc97a6ba44d26a39525487