Changes
/* Profile selection */
== Profile selection ==
[[File:Profile_browser.png|x250pxx200px|thumb|alt=Profile Browser (collapsed)|Profile Browser (collapsed)]] [[File:Profile_browser_expanded.png|x250pxx200px|thumb|alt=Profile Browser (expanded)|Profile Browser (expanded)]]
The name of the currently selected profile is displayed on the top of the view. By default, the last used profile will be selected here.
It is possible to change the profile by pressing the Profile Button. The profile selection flyout will pop up, from which the user can select any profile (see the figure on the right).
