UI improvement: Rewrite rules about zxlive HOT 11 CLOSED

We could do something like that of VSCode.

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

from zxlive.

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.

from zxlive.

Using tabs sounds like a nice idea :)

from zxlive.

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

from zxlive.

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

from zxlive.

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?

from zxlive.

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.

from zxlive.

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

from zxlive.

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.

from zxlive.

I have added these simplification routines in this commit a3d6260

from zxlive.

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.

from zxlive.