Using the local history

The JDT extends the workbench concept of local history in three ways:

• A file can be replaced with an edition from the local history not just in the Navigator but also in the Package Explorer view.
• The JDT allows you to replace individual Java elements (types and their members) with editions from the local history.
• The JDT allows you to restore Java elements (and files) deleted from the workbench that have been kept in the local history.

Note: Files and Java elements such as types and their members change in time. A ‘snapshot’ of what they look like at  a point in time (as saved in the local history) is called an edition.

Java development tools (JDT)
Java views

Using the Java editor
Replacing a Java element with a local history edition
Restoring a deleted workbench element

Package Explorer