How to convert an existing preference to preference pragma?

Hi,

I converted the #showWorldMainDockingBar preference to pragma style
(Morphic-kb.235 in The Inbox).
But you have to manually evaluate: Preferences removePreference:
#showWorldMainDockingBar
How could this be automated?

Balázs

I uploaded a new version with a postscript, which removes the
preference from Preferences.
I changed the behaviour to use the current project
showWorldMainDockingBar preference.

Balázs