+ add support to set plugins in user settings
modify user settings dialog
+ add support to save logging flags at user level
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.