Skip to content

WI #2789 Suggest END-xxx keyword according to user filter text#2790

Merged
fm-117 merged 1 commit into
developfrom
2789-also-suggest-end-xxx-keywords
Jul 24, 2025
Merged

WI #2789 Suggest END-xxx keyword according to user filter text#2790
fm-117 merged 1 commit into
developfrom
2789-also-suggest-end-xxx-keywords

Conversation

@fm-117

@fm-117 fm-117 commented Jul 21, 2025

Copy link
Copy Markdown
Contributor

Fixes #2789

@fm-117
fm-117 requested a review from efr15 July 21, 2025 09:10
@fm-117 fm-117 self-assigned this Jul 21, 2025
@fm-117 fm-117 linked an issue Jul 21, 2025 that may be closed by this pull request

@efr15 efr15 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

We will see how users react to this.
I prefer the IBM way. When the user types the beginning of a keyword they propose the keyword alone and the keyword + its END (and other variants).
Example:
For 'PE', IBM suggests:
PERFORM
PERFORM END-PERFORM
PERFORM UNTIL EXIT

@fm-117
fm-117 merged commit 62d3ef9 into develop Jul 24, 2025
8 checks passed
@fm-117
fm-117 deleted the 2789-also-suggest-end-xxx-keywords branch July 24, 2025 09:57
@fm-117 fm-117 mentioned this pull request Jul 25, 2025
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.

Also suggest END-xxx keywords

2 participants