gnome: add general settings

This adds some history controls

Refs #71873
Refs #71866

Change-Id: I01243031c4a6d485780b01b1fbfdacff4fe1d052
7 files changed