You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
When the Preferences Assistant is displayed, load only the plugins files specified in the startup.xml (i.e: to take into account the changes made in the 'Plugins' page of the Assistant) and not all the directories that contain Python files (e.g: support/ui). Change-Id: Ia99dc8e7424756d661adde5302af82dadf4a3f14