Skip to content

Issues: eddiekrystowski/existential-graphs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

25 Open 17 Closed
25 Open 17 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Proof animations feature a new feature jointjs likely involves joint library usage
#84 opened Dec 5, 2023 by joekrystowski
Save / Load Proofs from json / local storage jointjs likely involves joint library usage reactjs involves working with react components
#83 opened Dec 5, 2023 by eddiekrystowski
Fix incorrect color scheme for insert mode. bug Something isn't working priority current focus for development
#82 opened Dec 5, 2023 by joekrystowski
Change "push" mode for cut resizing based on graph mode. enhancement New feature or request
#81 opened Dec 5, 2023 by joekrystowski
Create & Proof mode separation bug Something isn't working jointjs likely involves joint library usage reactjs involves working with react components
#80 opened Dec 5, 2023 by eddiekrystowski
Add proof verification & proof verification UI jointjs likely involves joint library usage reactjs involves working with react components
#79 opened Dec 5, 2023 by eddiekrystowski
Change Proof View window to be movable and able to change size reactjs involves working with react components
#71 opened Jun 7, 2022 by eddiekrystowski
1
handleCollisions appears to be called too many times bug Something isn't working help wanted Extra attention is needed question Further information is requested
#68 opened May 31, 2022 by joekrystowski
Stop pack_rec from shrinking cuts bug Something isn't working jointjs likely involves joint library usage
#67 opened May 31, 2022 by joekrystowski
Export and Import as xml enhancement New feature or request feature a new feature In Progress
#63 opened May 24, 2022 by joekrystowski
@Jack-Rutland
1
Lemma Files feature a new feature jointjs likely involves joint library usage priority current focus for development
#62 opened May 24, 2022 by joekrystowski
@joekrystowski
Alternate Premise Types long term long term goals
#61 opened May 24, 2022 by eddiekrystowski
Restrict Actions in Proof Mode bug Something isn't working jointjs likely involves joint library usage
#59 opened May 24, 2022 by eddiekrystowski
1 task
Insert/Delete Double Cut not working with History bug Something isn't working
#58 opened May 24, 2022 by eddiekrystowski
Minimize space taken up by double cut bug Something isn't working jointjs likely involves joint library usage
#56 opened May 24, 2022 by eddiekrystowski
Add history bar for proofs hmtl/css reactjs involves working with react components
#52 opened May 24, 2022 by joekrystowski
Button Tool Tips enhancement New feature or request In Progress
#50 opened May 24, 2022 by eddiekrystowski
2 tasks
@Jack-Rutland
Update Import/Export for Modular Graphs enhancement New feature or request jointjs likely involves joint library usage refactor code cleanup & reformatting
#48 opened May 24, 2022 by eddiekrystowski
Custom cursor icon based on tool
#33 opened Sep 20, 2021 by eddiekrystowski Long Term
Create graph update function
#31 opened Sep 20, 2021 by eddiekrystowski Long Term
@joekrystowski
Proof Mode feature a new feature hmtl/css In Progress jointjs likely involves joint library usage priority current focus for development reactjs involves working with react components
#29 opened Sep 20, 2021 by eddiekrystowski
3 of 8 tasks
Next Meeting
modularize import and export
#22 opened Sep 8, 2021 by Jack-Rutland Long Term
@Jack-Rutland
EG Panning and Zooming feature a new feature hmtl/css
#17 opened Sep 7, 2021 by Jack-Rutland Main Features
Congratulations Animation feature a new feature long term long term goals
#7 opened Sep 4, 2021 by eddiekrystowski Main Features
1
Goal Box feature a new feature hmtl/css priority current focus for development reactjs involves working with react components
#6 opened Sep 4, 2021 by eddiekrystowski Main Features
ProTip! Updated in the last three days: updated:>2024-12-11.