User Settings

User Settings are user-specific preferences of the graph presentation. Preferences can be set for nearly every aspect of the graph frontend. Settings such as the thumbnail dimensions or number of graphs displayed on the tree view panel can be set, but the Theme and User Language settings also belong to this part: