Aufgabe Mit Tastendruck zwischen geöffneten Tabs / Reitern wechseln

Problem:
In vielen Programmen kann mit der Tastenkombination STRG + TAB zwischen mehreren geöffneten Tabs / Reitern gewechselt werden. Ein solcher Mechanismus soll in das Programm übernommen werden.

Lösung:
Mit Den Tasten F6 und F7 kann zwischen den geöffneten Tabs gewechselt werden. Die Verwendung der TAB-Taste führt zu Problemen mit der Standard-Tastenbelegung von Java-Anwendungen.