De lokale historie gebruiken

De lokale historie van de workbench wordt door JDT op drie manieren uitgebreid:

Opmerking: bestanden en Java-elementen, zoals typen en bijbehorende leden, worden vaak in de loop der tijd gewijzigd. Een momentopname van een bestand (zoals dit is opgeslagen in de lokale historie) wordt een editie genoemd.

Verwante concepten

JDT (Java Development Tools)
Java-views

Verwante taken

Een Java-element vervangen door een editie in de lokale historie
Een Java-element vergelijken met een editie in de lokale historie
Een verwijderd workbench-element terugzetten

Verwante onderwerpen

Pakketverkenner