- Tabbar: Add 'Rename file' menu item
- Tabbar: Add 'Delete file' menu item
NOTE: The code is copied from a plugin which should be reused there (todo: what would be a good way?).
Screenshots:
Tab context menu:
{F6414794}
Tab context menu when no file is associated:
{F6414793}