Support REVERT for all rename actions
This commit is contained in:
parent
9f9aa9ed82
commit
81efca26df
|
@ -46,7 +46,7 @@ public final class HistorySpooler {
|
||||||
private History sessionHistory = new History();
|
private History sessionHistory = new History();
|
||||||
|
|
||||||
public synchronized History getCompleteHistory() throws IOException {
|
public synchronized History getCompleteHistory() throws IOException {
|
||||||
if (!persistentHistoryEnabled || persistentHistoryFile.length() <= 0) {
|
if (persistentHistoryFile.length() <= 0) {
|
||||||
return new History(sessionHistory.sequences());
|
return new History(sessionHistory.sequences());
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -102,7 +102,7 @@ class HistoryDialog extends JDialog {
|
||||||
private final JTable elementTable = createTable(elementModel);
|
private final JTable elementTable = createTable(elementModel);
|
||||||
|
|
||||||
public HistoryDialog(Window owner) {
|
public HistoryDialog(Window owner) {
|
||||||
super(owner, "Rename History", ModalityType.DOCUMENT_MODAL);
|
super(owner, "History", ModalityType.DOCUMENT_MODAL);
|
||||||
|
|
||||||
// bold title label in header
|
// bold title label in header
|
||||||
JLabel title = new JLabel(this.getTitle());
|
JLabel title = new JLabel(this.getTitle());
|
||||||
|
|
Loading…
Reference in New Issue