-
Notifications
You must be signed in to change notification settings - Fork 349
Issues: penrose/penrose
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
bloom: SVG element names not distinct among separate diagrams
#1870
opened Nov 12, 2024 by
griffinteller
toSVG
compiles tight bounding box calculation non-optionally
#1842
opened Aug 1, 2024 by
griffinteller
feat: numerical comparison of literals in
where
clauses
system:compiler
system:language
#1831
opened Jul 12, 2024 by
liangyiliang
feat: Add generic SVG
Element
shape to Style
kind:experimental
kind:graphics
system:language
system:renderer
system:style
#1824
opened Jul 5, 2024 by
keenancrane
feat: Domain-defined Doc Strings
system:domain
system:language
#1821
opened Jul 3, 2024 by
KyleleeSea
feat: Better Function Documentation Strings
kind:documentation
kind:easy-change
#1819
opened Jul 3, 2024 by
KyleleeSea
feat: Override layering rules
priority:feature request
system:language
system:style
#1793
opened Jun 12, 2024 by
keenancrane
feat: Make it possible to pass string data directly to New contributors are encouraged to claim this issue.
kind:graphics
system:style
Path
good first issue
#1787
opened Jun 10, 2024 by
keenancrane
bug: Cmd+Z / Ctrl+Z on workspace entry overrides files
priority:low
system:ide
#1786
opened Jun 10, 2024 by
KyleleeSea
In-editor interactivity
kind:experimental
priority:project
system:ide
system:interaction
system:style
#1783
opened Jun 6, 2024 by
griffinteller
bug: Web worker hangs on compile when workspace has syntax errors
#1779
opened Jun 6, 2024 by
KyleleeSea
Adding a varying value into a stage without explicitly writing
?
#1775
opened Jun 5, 2024 by
liangyiliang
Bug: in IDE, autocomplete
Enter
overrides newline
kind:bug
kind:usability
system:ide
system:interface
#1757
opened May 28, 2024 by
keenancrane
Workspaces become inaccessible if clicked away from too soon after creation
#1744
opened May 15, 2024 by
KyleleeSea
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.