comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5280:71e00437d0a8

enhanced debug filter to be a comma-separated list of glob or substring terms
author Doug Simon <doug.simon@oracle.com>
date Tue, 24 Apr 2012 16:04:14 +0200
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
5279:96e52f0c0785 5280:71e00437d0a8