Einstellungen
Allgemeines
Die Einstellungen kannst du grundsätzlich über zwei Wege erreichen. Entweder klickst du oben links auf deinen Namen oder unten links in der Ecke auf das Einstellungssymbol. In beiden Fällen kannst du anschließend wählen, ob du die Workspace- oder die persönlichen Einstellungen bearbeiten möchtest.