redhat-developer / redhat-developer/vscode-java

Selection occurrences are not highlighted at the vertical scroll bar

Open
#240 21 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

bug highlighting
Dominant language
TypeScript
Stars
2.3k
Forks
546
Avg merge
20h 1m
Merged PRs (30d)
11

Description

Environment
  • Operating System: Ubuntu 14.04
  • JDK version: /usr/lib/jvm/java-8-openjdk-amd64
  • Visual Studio Code version: VS Code 1.13.1
  • Java extension version:
Steps To Reproduce
  1. Open VS Code.
  2. Open Java file.
  3. Selected occurrences are highlighted in the editor and are highlighted the right vertical scroll bar.
  4. Open ANY other file.
  5. Return to ANY Java file.
  6. Selected occurrences are highlighted in the editor, but they ARE NOT highlighted the right vertical scroll bar.

IMPORTANT: if to disable "Java support for Java by RedHat" package, then 6th step is not reproduced (everything works fine).

Current Result

Selection occurrences are not highlighted at the scroll bar.

java_highlights_bad2

Expected Result

Selection occurrences are highlighted at the scroll bar.

java_highlights_ok

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

The issue names no source file or test. Start by reproducing it in VS Code 1.13.1 with the Java extension enabled, switching between Java files as described, and compare behavior with the extension disabled. Done means selected occurrences remain highlighted on the right vertical scrollbar after returning to a Java file.

Written by the indexing model from the issue text.

Assessment

Tech stack
java, typescript, vscode
Domain
developer-experience, tooling
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.