-
Notifications
You must be signed in to change notification settings - Fork 36
All issues
Issue creation is restricted in this repository
- #134 · Jollywatt opened
on Sep 27, 2025
Issues
is:issue state:open
is:issue state:open
Search results
Add option to change size of loops
enhancementNew feature or requestNew feature or requestStatus: Open.#168 In fletcher-package/fletcher;Add pullbacks / pushouts / fibre products
enhancementNew feature or requestNew feature or requestStatus: Open.#166 In fletcher-package/fletcher;- Status: Open.#165 In fletcher-package/fletcher;
Table of nodes option
enhancementNew feature or requestNew feature or requestStatus: Open.#160 In fletcher-package/fletcher;Loop tail mark
enhancementNew feature or requestNew feature or requestv0.6.0 milestoneIncluded in unreleased fletcher version 0.6.0Included in unreleased fletcher version 0.6.0Status: Open.#158 In fletcher-package/fletcher;Option for more than one label / option for decorations on arrows
enhancementNew feature or requestNew feature or requestStatus: Open.#157 In fletcher-package/fletcher;Custom shapes as an edge/node
enhancementNew feature or requestNew feature or requestStatus: Open.#155 In fletcher-package/fletcher;angleparameter for all shapesenhancementNew feature or requestNew feature or requestStatus: Open.#154 In fletcher-package/fletcher;Allow specifying node anchor
enhancementNew feature or requestNew feature or requestStatus: Open.#150 In fletcher-package/fletcher;label-sidebeingleftorrightleads to different gap sizesbugSomething isn't workingSomething isn't workingStatus: Open.#147 In fletcher-package/fletcher;- Status: Open.#145 In fletcher-package/fletcher;
arrows.rl support
enhancementNew feature or requestNew feature or requestStatus: Open.#143 In fletcher-package/fletcher;