#1 Restore default prefs

[Frederic Weigand Warr]

Using the restore default prefs context menu item does not restore all prefs: the time format preference for example is not reset.

Also, the times are cleared and are only displayed again after using the refresh information context menu item.