Community
Participate
Working Groups
Created attachment 283803 [details] see image Version: 2020-09 (4.17) Build id: Y20200805-1200 sealed etc are colored but permits is not coloured.
Need to add support for coloring "permits".
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167363
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167363 was merged to [BETA_JAVA15]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=4a11ce46eb2e42b60f04982415c2f59f0e971fcb
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167572
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167572 was merged to [BETA_JAVA15]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=188e952ee58b4c06729795f8187946f78ba27277
Kalyan, I see that you have used the constants, messages etc. created for "record" in case of "permits" also. It is confusing that record settings are being used to control permits in the code. It will be good to update the names, msg text, Javadoc etc. for the reusable stuff to something generic so that we will be able to resuse them for such keywords in the future also.
(In reply to Noopur Gupta from comment #6) > Kalyan, I see that you have used the constants, messages etc. created for > "record" in case of "permits" also. It is confusing that record settings are > being used to control permits in the code. > > It will be good to update the names, msg text, Javadoc etc. for the reusable > stuff to something generic so that we will be able to resuse them for such > keywords in the future also. Moved this to bug 566771.