diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 18642:133d5a98c547

generalized semantics of DebugDumpHandler.close() to mean reset so that closing a handler flushes and releases all its resources but leaves it operational (i.e. subsequent uses will (re)create and (re)open the required resources)
author Doug Simon <doug.simon@oracle.com>
date Mon, 08 Dec 2014 14:32:21 +0100
parents e3491381c424
children 7e2c87dae93e
line wrap: on
line diff