issues Search Results · important no:assignee language:java type:issue linked:pr
Filter by
0 results (164 ms)
0 results
Certain important terms like outsiders , parsing (a command) , subcommand are not included in the glossary of the
Developer Guide.
Labels: severity.Low type.DocumentationBug
can fix
type.DocumentationBug
enhancement
good first issue
Description
Throughout the User Guide, numerous Important boxes have a heading that reads:
Disambiguating contacts with the same name**
The opening ** is missing, so in the rendered PDF the text ...
accepted
duplicate
... the
code. It makes the code easier to understand reduces the chance of misuse and provides proper context for how the method
should be used. The FIXME comment had already flagged this as a known issue so addressing it was important to improve
code quality and developer experience.
status: waiting-for-triage
Discord username
No response
How important is this feature to you?
3 – Lack of it makes using Enso slightly harder
Describe the idea you d like to see implemented.
img width= 321 alt= Zrzut ...
-libs
-viz
p-low
enhancement
question
@spbolton I ve linked this to a new issue that might be a duplicate but I think it s important to to help focus the
urgent fix that s a blocker right now and that s the business case outlined in ...
Bug
... at startup?
- what format should it be? any random string? what size?
- is it important that once set, it does never change? Or does not matter? Does it need to be the same value on two ...

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.