Thanks for your edit, you need to know that the "theme" tab in preferences does not come with a default Gramps installation , it is something called an addon or plugin not sure you can see it [[Addon:ThemesThemePreferences]]. The user manual should only reflect a stock standard Gramps without addons. [[User:GulliblePangolin|GulliblePangolin]] ([[User talk:GulliblePangolin|talk]]) 04:40, 13 July 2019 (UTC)