Skip to content

Issues: unisonweb/ui-core

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

Clear current search query, filters, and sorts
16 Open 6 Closed
16 Open 6 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

local variable tooltips with type signature delight enhancement New feature or request requires-backend-change
#48 opened Oct 24, 2022 by ceedubs
Users should be able to configure a code font. delight enhancement New feature or request needs-ui-design snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#36 opened Sep 10, 2022 by hojberg
Types should be collapsable enhancement New feature or request requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#4 opened Mar 7, 2022 by hojberg
1
Explore alternative eval block rendering documentation Improvements or additions to documentation enhancement New feature or request needs-ui-design snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#6 opened Oct 25, 2021 by hojberg
Render builtin types with type variables enhancement New feature or request requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#9 opened Oct 6, 2021 by hojberg
1
Syntax highlight doc code that isnt unison code documentation Improvements or additions to documentation enhancement New feature or request snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#12 opened Jul 21, 2021 by hojberg
1
Miller columns in the Finder delight enhancement New feature or request snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#13 opened Jul 13, 2021 by hojberg
11 tasks
@hojberg
viewing a patch enhancement New feature or request needs-ui-design requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#14 opened Jun 18, 2021 by aryairani
1
Split panes delight enhancement New feature or request needs-ui-design snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#18 opened May 17, 2021 by hojberg
Global Zoom/Expand level slider enhancement New feature or request needs-ui-design snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#19 opened May 17, 2021 by hojberg
Reordering open definitions enhancement New feature or request snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#20 opened May 13, 2021 by hojberg
1 of 2 tasks
3
Unison language reference tooltips delight enhancement New feature or request needs-ui-design
#23 opened May 3, 2021 by hojberg
1
Render definition author/license enhancement New feature or request requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#24 opened May 3, 2021 by hojberg
2
Integrate Tests with Definitions enhancement New feature or request needs-ui-design requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#25 opened May 3, 2021 by hojberg
Show dependents of a definition enhancement New feature or request needs-ui-design requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#26 opened May 3, 2021 by hojberg
Linkable definition lines enhancement New feature or request needs-ui-design snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
#27 opened Apr 23, 2021 by hojberg
ProTip! Follow long discussions with comments:>50.