posit-dev / posit-dev/positron

Excessive zoom breaks functionality of left arrow button for variables in data explorer

Open
#9,716 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

accessibility area: data explorer bug
Dominant language
TypeScript
Stars
4.3k
Forks
184
Avg merge
1d 11h
Merged PRs (30d)
206

Description

https://github.com/user-attachments/assets/0c878ae7-0288-4533-bd54-62fbb7aa4d7f

System details:

Positron and OS details:
Positron Version: 2025.10.0 build 156
Code - OSS Version: 1.103.0
Commit: 74261231013aba3599280cc235e255d77c7aa12c
Date: 2025-09-30T07:11:44.047Z
Electron: 37.2.3
Chromium: 138.0.7204.100
Node.js: 22.17.0
V8: 13.8.500258-electron.0
OS: Darwin arm64 25.0.0

Steps to reproduce the issue:

  1. In data explorer, zoom into (Cmd++) until the right side of the application gets trimmed/cut.
  2. Then, attempt to use the expand/compress left arrow button for a variable.
  3. Notice that, instead of expanding/compressing the variable information, it instead moves the cursor down.

Expected or desired behavior:

Regardless of zoom setting, button should work properly.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start in the data explorer UI and reproduce the issue using Cmd+ plus until the application's right side is trimmed. Inspect the left arrow button behavior for a variable at that zoom level and verify that it expands or compresses the variable information rather than moving the cursor. Done means the button works regardless of zoom setting.

Written by the indexing model from the issue text.

Assessment

Tech stack
typescript
Domain
frontend
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.