Allows you to rename tabs by right-clicking the tab and selecting "Rename Tab"
Sterrenwaardering opgeslagen
