tree 651478818842f64a349c188f943f4fdcd430c39f
parent a0e9bdf08bf914efcb4b7185628ef7d35e143ae2
author Stephan Herrmann <stephan.herrmann@berlin.de> 1625558525 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1626283540 -0400

Bug 574632 - [preferences] UI for bug 574603

Change-Id: Icba22d5bcf1c8d027d6592a3f1fb9cf04d52e34c
Signed-off-by: Stephan Herrmann <stephan.herrmann@berlin.de>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/183038
Tested-by: JDT Bot <jdt-bot@eclipse.org>