De lokale historie gebruiken

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

• In de Pakketverkenner kunt u een bestand vervangen door een editie uit de lokale historie.
• U kunt afzonderlijke Java-elementen (typen en hun leden) vergelijken met en/of vervangen door edities uit de lokale historie.
• U kunt Java-elementen (en bestanden) die uit de workbench verwijderd en in de lokale historie bewaard zijn, terugzetten.

Opmerking: Bestanden en Java-elementen, zoals typen en hun 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.

JDT (Java Development Tools)
Java-views

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

Pakketverkenner