Finn Evers

Results 12 issues of Finn Evers

Closes #28164 This PR adresses inproper keybinds being shown in MacOS application menus. The issue arises because the keybinds shown in MacOS application menus are unaware of keybind contexts (they...

cla-signed

This PR implements color changing for the scrollbar component based upon user mouse interaction. https://github.com/user-attachments/assets/2fd14e2d-cc5c-4272-906e-bd39bfb007e4 This PR also already adds the state for a scrollbar being actively dragged. However, as...

cla-signed

Follow-up of #30285 This PR ensures the action added in the linked PR also works when the user does not have the minimap enabled via settings. Currently, the toggle only...

cla-signed

Closes #16993 This PR fixes an issue where the vertical editor scrollbar was overlaying with buffer headers. I fixed this by reserving space for the scrollbar as needed which is...

cla-signed

Follow-up to #30138 In the linked PR, I enabled the content offset for all editors by default. However, this introduced a small regression: There are some editors where we do...

cla-signed

This PR reapplies #27402 which was reverted in https://github.com/zed-industries/zed/pull/30544 due to the issue @ConradIrwin reported in https://github.com/zed-industries/zed/pull/27402#issuecomment-2871745132. The reported issue is already present on main but not visible, see https://github.com/zed-industries/zed/pull/27402#issuecomment-2872546903...

cla-signed

This PR adds some documentation about the minimap to the official docs. **Please note:** The [current preview release notes](https://zed.dev/releases/preview/0.187.0) refer to the minimap PR for configuration options. However, `font_size` and...

This PR contains some small improvements for the language server log editors. Due to the large gutter as well as the introduction of the minimap, the horizontally available space was...

A user on Discord reported an issue where the minimap thumb was fully opaque: This can happen because the scrollbar and its thumb might not neccessarily be transparent at all....

cla-signed

Closes #30756 Closes #30729 Follow-up to #28064 The issue arose because GPUI does still propagate mouse events to all event handlers during dragging actions even if the dragging action does...