Related Issues (20)
- If the rootmost element has multiple parents, there is no way to delete the rootmost element.
- Deleting a term and then restoring it results in two edges to that term. HOT 2
- Selecting items in the "deleted" then pressing "Restore" doesn't work. (I think this is because Graph.deleted is used which is now incorrect.)
- Add a text box and button that allows you to enter an edge or vertex id, and then have the cursor go to that edge or vertex. (You might need to specify a vertex and child index.)
- Code in deleted and multiparent areas should not be grey.
- Allow clicking in the graphviz to select where to put the cursor.
- Show edge info (i.e., id, source, index, and target) when hovering over edges in the graphviz
- In graphviz put ids in a gray subscript like they are in other places
- Show the result of type checking
- Support more than two editors
- add multicast send
- Allow only one editor
- Typing "v" on any editor other than the first selects the box for the first editor
- Move the graph up
- Move buttons to the bottom
- Group Multiparent and Deleted together and Actions and Editors together
- Rename "Editors" to "Send to editors"
- Move the "send" button to bellow "Editors"
- Use a prompt box for variables etc.
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 grv.