One more thing that needs to be done is to make sure that when the user resizes the preferences window, the extra space goes to the plugin list and not to the description area.
One more thing that needs to be done is to make sure that when the user
resizes the preferences window, the extra space goes to the plugin list and
not to the description area.