UI improvement: Rewrite rules

[RazinShaikh]

The side panel can have the rewrites, simplification routines and the proof steps. The code for sidebar of edit mode might be useful for implementing this.

[jvdwetering]

Hmm, I'm not sure I'm a fan of this idea. Wouldn't that make the sidebar very crowded? We have some nice real estate on top of the diagram, so why not use it?
Something I was considering for the top toolbar with the rewrites is to make it have different tabs so that the rewrites are grouped. So you would have a tab for the basic rewrites, but then also a tab for for instance the graph-theoretic rewrites (local complementation and pivoting), and another one for ZH-rewrites. The strategies can then also have their own tab.

[RazinShaikh]

Using tabs sounds like a nice idea :)

[boldar99]

We could do something like that of VSCode.

Rewrites on the side with collapsable groups. We could also implement searching and scrolling.

[RazinShaikh]

We should also allow the user to delete custom rewrites from the UI.

[jvdwetering]

I've now added the tabbed interface for different groups of rewrites.

[jvdwetering]

I think we could also add different tab names based on subfolders in the folder containing the custom rewrite rules. This would make sense if we expect people to be adding a lot of custom rewrite rules.

A design decision we want to consider is whether a rewrite rule can appear in multiple tabs. For instance, should Z-spider fusion only appear in Basic rules, or also in the ZXW rule set and the ZH rule set?

[RazinShaikh]

Is it possible to add an option to change from horizontal tabs to vertical tabs? Most browsers support this. That would look a bit like Boldi's suggestion. I fell that horizontal list of rewrites is a bit inconvenient if you have a lot of custom rewrites because then you need to scroll horizontally.

[RazinShaikh]

@jvdwetering can you also add these simplifications as a tab?

[jvdwetering]

Is it possible to add an option to change from horizontal tabs to vertical tabs? Most browsers support this. That would look a bit like Boldi's suggestion. I fell that horizontal list of rewrites is a bit inconvenient if you have a lot of custom rewrites because then you need to scroll horizontally.

I believe there is some built in Qt feature that allows you to switch being a horizontal layout and a vertical layout.

[RazinShaikh]

I have added these simplification routines in this commit a3d6260

[RazinShaikh]

The horizontal tabbed interface we have here does not scroll when the there are a lot of rewrites and it compresses the text on the button such that you can't read the full name of the rewrite.