Only the Object List is refreshed when selecting "Refresh Package Bodies" from the Object List popup menu.
We'll add some features to refresh from a SQL Document as well. This can either be automatic, when the source is changed in the database, or by selecting a function from the SQL Document popup menu.