Search results

[feature request] Anchors in Doc header sections

Status: Open.

#93 In unisonweb/ui-core;

· zetashift opened on Mar 4, 2025

Search bar can't be closed by just clicking outside of it

Status: Open.

#88 In unisonweb/ui-core;

· andreystepanov opened on Apr 4, 2024

With scrollbars always on on Mac, the workspace item cards have strange scrolling

Status: Open.

#72 In unisonweb/ui-core;

· hojberg opened on Oct 5, 2023

Collapsing the sidebar should be stored in local storage

Status: Open.

#71 In unisonweb/ui-core;

· hojberg opened on Sep 1, 2023

Unable to browse children of a library's top level type

needs-ui-design

Status: Open.

#51 In unisonweb/ui-core;

· pchiusano opened on Oct 27, 2022

Definition summary tooltip requests that 404 or error in other ways blink in the UI

bugSomething isn't workingSomething isn't working

Status: Open.

#50 In unisonweb/ui-core;

· hojberg opened on Oct 24, 2022

local variable tooltips with type signature

delight

enhancementNew feature or requestNew feature or request

requires-backend-change

Status: Open.

#48 In unisonweb/ui-core;

· ceedubs opened on Oct 24, 2022

Should opening a definition focus it in the namespace tree?

needs-ui-design

snooze-3Issue is likely to be worked on, might become "on-deck" in the next couple of monthsIssue is likely to be worked on, might become "on-deck" in the next couple of months

Status: Open.

#45 In unisonweb/ui-core;

· ceedubs opened on Sep 23, 2022

Perspective switch from open definition in specific cases duplicates the FQN

bugSomething isn't workingSomething isn't working

Status: Open.

#43 In unisonweb/ui-core;

· hojberg opened on Sep 21, 2022

render width seems too low on wide monitor

needs-ui-design

Status: Open.

#42 In unisonweb/ui-core;

· ceedubs opened on Sep 16, 2022

Users should be able to configure a code font.

delight

enhancementNew feature or requestNew feature or request

needs-ui-design

snooze-3Issue is likely to be worked on, might become "on-deck" in the next couple of monthsIssue is likely to be worked on, might become "on-deck" in the next couple of months

Status: Open.

#36 In unisonweb/ui-core;

· hojberg opened on Sep 10, 2022

Asides at the bottom of a doc gets clipped and adds a scrollbar within a scroll area

bugSomething isn't workingSomething isn't working

snooze-3Issue is likely to be worked on, might become "on-deck" in the next couple of monthsIssue is likely to be worked on, might become "on-deck" in the next couple of months

Status: Open.

#34 In unisonweb/ui-core;

· hojberg opened on Sep 8, 2022