public class HistoryChangeRecorder extends Object
ResourceSet
-wide deletes.Constructor and Description |
---|
HistoryChangeRecorder(History history)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
beginRecording()
Start the recorder, unless already started
|
void |
endRecording()
Stop the recorder, unless already stopped
|
boolean |
isRecording()
Returns recording.
|
public HistoryChangeRecorder(History history)
Copyright © 2020. All rights reserved.