Skip to content

Commit

Permalink
OwningAnnotationsConfigurationDialog_title missing (#1100)
Browse files Browse the repository at this point in the history 
fixes #1094
  • Loading branch information
@stephan-herrmann
stephan-herrmann committed Jan 18, 2024
1 parent b09607e commit 5e0f474
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.properties
View file
Original file line number Diff line number Diff line change
Expand Up @@ -440,6 +440,7 @@ NullAnnotationsConfigurationDialog_notFound_info=Annotation type {0} could not b
NullAnnotationsConfigurationDialog_primary_label=Primary annotation:
NullAnnotationsConfigurationDialog_secondary_label=Secondary annotations:

OwningAnnotationsConfigurationDialog_title=Annotations for Ownership Specifications
OwningAnnotationsConfigurationDialog_owning_annotation_label='@Owning' annotation:
OwningAnnotationsConfigurationDialog_owning_annotation_description=Elements annotated with '@Owning' bring the responsibility to call 'close()'
OwningAnnotationsConfigurationDialog_notowning_annotation_label='@NotOwning' annotation:
Expand Down

0 comments on commit 5e0f474

Please sign in to comment.