diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index a4ba59abca54..8021ead82dee 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -1255,7 +1255,7 @@ git.log.fix.merge.commits.parents.order=false git.log.fix.merge.commits.parents.order.description=Find merge commits where a remote branch was merged into local before pushing\ and fix parents order for such commits in order to display them more naturally in the commits graph. git.log.fix.merge.commits.parents.order.restartRequired=true -git.log.use.index.for.picked.commits.highlighting=false +git.log.use.index.for.picked.commits.highlighting=true git.log.use.index.for.picked.commits.highlighting.description=Find cherry-picked commits not only looking at patches using `git cherry` \ but also by matching commit author, author time and "cherry picked from commit " suffix. git.log.fast.picked.commits.highlighting=false