Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat: add title source hover settings #892

Open
wants to merge 4 commits into
base: main
Choose a base branch
from

Conversation

q-rault
Copy link

@q-rault q-rault commented Jun 3, 2023

What does this PR do?

It adds hover settings to enable/disable Title and Source from hover tooltip

What issues does this PR fix or reference?

It is based on the work of @nikalexxx from 2022/05, see here for context and pictures of what the PR does
Original didn't pass the CI because of format/lint issues.
It is now correctly linted

Is it tested? How?

Two unitary tests were added, correctly showing the result when the new settings are enabled/disabled

@q-rault q-rault changed the title Feat/add title source hover settings Feat: add title source hover settings Jun 3, 2023
@coveralls
Copy link

coveralls commented Jun 4, 2023

Coverage Status

coverage: 83.396% (+0.03%) from 83.365% when pulling 7a66521 on q-rault:feat/add-title-source-hover-settings into b0f60d4 on redhat-developer:main.

@jpinkney-aws
Copy link
Contributor

@msivasubramaniaan Are you able to take a look at this? or @gorkem Do you know who owns this after you've left red hat?

@msivasubramaniaan
Copy link
Contributor

@q-rault please resolve conflicts.

@jpinkney-aws I'll review it by next week

@q-rault q-rault force-pushed the feat/add-title-source-hover-settings branch from 7a66521 to 6344c54 Compare April 26, 2024 17:20
@aderende
Copy link

aderende commented May 8, 2024

@msivasubramaniaan I wanted to kindly request your review on the changes made in this pull request when you have a chance. We are also interested in this feature

@gorkem
Copy link
Collaborator

gorkem commented May 9, 2024

@jpinkney-aws

@gorkem Do you know who owns this after you've left red hat?

🤷 probably under staffed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

7 participants