Skip to content

Comments

Replace special character#494

Open
iloveeclipse wants to merge 1 commit intoeclipse-platform:masterfrom
iloveeclipse:small_fix
Open

Replace special character#494
iloveeclipse wants to merge 1 commit intoeclipse-platform:masterfrom
iloveeclipse:small_fix

Conversation

@iloveeclipse
Copy link
Member

Copilot AI review requested due to automatic review settings February 20, 2026 10:36
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR addresses a special character issue in the Java Development Tools documentation for Eclipse 4.39, specifically replacing a non-breaking hyphen (U+2011: ‑) with a regular hyphen (-) in a section heading. This change is being tested in relation to Eclipse Foundation helpdesk issue #7166.

Changes:

  • Replaced non-breaking hyphen with regular hyphen in the "Show Javadoc From Annotation/Quick-Fix Hover" section heading

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

In previous releases, this option automatically disabled code folding.

### Show Javadoc From Annotation/QuickFix Hover
### Show Javadoc From Annotation/Quick-Fix Hover
Copy link

Copilot AI Feb 20, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The special non-breaking hyphen character (U+2011) is being replaced with a regular hyphen in this line, but the same special character appears in multiple other locations in this file (lines 38, 42, 48, 49, 50, 51, 57, 59). For consistency, all instances of this special character should be replaced with regular hyphens throughout the file.

Copilot uses AI. Check for mistakes.
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@copilot open a new pull request to apply changes based on this feedback

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.

1 participant