More context menu options for custom rewrites in proof mode rewrites panel #416
Description
Right clicking a custom rewrite in the proof mode creates a context menu. It should additionally have the following options:
- Edit (or open?)
- Rename
- Delete
- Show in folder
The patterns sidebar in editor_base_panel also implements similar features. So this should avoid code duplication if possible.