Comments (11)
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.
Related Issues (20)
- Bialgebra rewrites from "basic rules" and drag-and-drop result in different global scalars HOT 2
- Set precision of matrix and copy it to clipboard
- Roadmap and overview of issues
- Widgets/patterns sidebar to insert common diagrams in edit mode
- Magic wand unfuse node from identity does not work
- Option to auto-save HOT 1
- Add boolean settings form input HOT 1
- Dark mode?
- Improve the style of tabs HOT 2
- 'Apply' option in preferences?
- Command to auto-arrange nodes in the diagram
- Creating rewrite previews should happen asynchronously HOT 1
- Multiple runs on Linux crash due to issues with loading config
- Boolean variables not represented correctly visually in both edit and proof modes
- undo/redo icons are not visible in dark theme
- Visual tearing on background grid HOT 2
- Toggleable vertex labels
- Dragging the W node from closer to the triangle edges starts a selection
- Using the magic wand to remove the identity on the W node deletes all edges in the diagram
- Adding an identity with magic wand is listed as "remove identity" in steplist
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from zxlive.