Benutzerhandbuch für Java Desktop System Version 3

So ändern Sie Panel-Einstellungen

Um Einstellungen für alle Panels zu ändern, nehmen Sie die gewünschten Änderungen mit dem Einstellungstool Panel vor. Sie können beispielsweise Animationseinstellungen für Panels ändern. Weitere Informationen über Panel-Einstellungen finden Sie unter Anpassen der Panels.