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.

Sign up for GitHub

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

Jump to bottom

Display overriden non-default values #7762

Merged
merged 1 commit into from
Sep 7, 2023
Merged

Display overriden non-default values #7762

merged 1 commit into from
Sep 7, 2023

Conversation

JaroslavTulach
Copy link
Member

@JaroslavTulach JaroslavTulach commented Sep 7, 2023 •
edited
Loading

Pull Request Description

Fixes #7723 by including overriden defaulted arguments in the function toDisplayText description.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • All code follows the
    Java,
  • All code has been tested:
    • Unit tests have been written where possible.

@JaroslavTulach JaroslavTulach added the CI: No changelog needed Do not require a changelog entry for this PR. label Sep 7, 2023
@JaroslavTulach JaroslavTulach self-assigned this Sep 7, 2023
@JaroslavTulach JaroslavTulach merged commit 4213bf9 into develop Sep 7, 2023
@JaroslavTulach JaroslavTulach deleted the wip/jtulach/OverridenDefaults_7723 branch September 7, 2023 11:31
@enso-bot enso-bot bot mentioned this pull request Sep 8, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hubertp hubertp hubertp approved these changes

@radeusgd radeusgd radeusgd approved these changes

@jdunkerley jdunkerley jdunkerley approved these changes

@Akirathan Akirathan Akirathan approved these changes

@GregoryTravis GregoryTravis Awaiting requested review from GregoryTravis GregoryTravis is a code owner

@4e6 4e6 Awaiting requested review from 4e6 4e6 is a code owner

Assignees

@JaroslavTulach JaroslavTulach

Labels
CI: No changelog needed Do not require a changelog entry for this PR.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Overridden default function argument not visible in the Text representation
5 participants
@JaroslavTulach @hubertp @radeusgd @jdunkerley @Akirathan