blob: a29e5193011947a8e525a1226f23f05c88c2e2ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
/*
* Copyright 2000-2009 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package com.intellij.openapi.diff.impl;
import com.intellij.openapi.Disposable;
import com.intellij.openapi.editor.Document;
import com.intellij.openapi.editor.Editor;
import com.intellij.openapi.editor.event.DocumentEvent;
import com.intellij.openapi.editor.event.DocumentListener;
import com.intellij.openapi.util.text.StringUtil;
import com.intellij.util.Alarm;
import com.intellij.util.containers.HashMap;
import java.util.Iterator;
public class Rediffers {
private final HashMap<EditorSource, Rediff> myRediffers = new HashMap<EditorSource, Rediff>();
private final DiffPanelImpl myPanel;
private final Alarm myAlarm = new Alarm();
private final Runnable myUpdateRequest = new Runnable() {
public void run() {
if (myDisposed) return;
updateNow();
}
};
private boolean myDisposed = false;
public Rediffers(DiffPanelImpl panel) {
myPanel = panel;
}
public void dispose() {
for (Iterator<Rediff> iterator = myRediffers.values().iterator(); iterator.hasNext();) {
Rediff rediff = iterator.next();
rediff.stopListen();
}
myRediffers.clear();
myAlarm.cancelAllRequests();
myDisposed = true;
}
public void contentRemoved(EditorSource source) {
Rediff rediff = myRediffers.remove(source);
if (rediff != null) rediff.stopListen();
}
public void contentAdded(final EditorSource source) {
Editor editor = source.getEditor();
Rediff rediff = new Rediff(editor.getDocument());
myRediffers.put(source, rediff);
rediff.startListen();
source.addDisposable(new Disposable() {
public void dispose() {
contentRemoved(source);
}
});
}
public void updateNow() {
myPanel.rediff();
myAlarm.cancelAllRequests();
}
private void requestRediff() {
myAlarm.cancelAllRequests();
myAlarm.addRequest(myUpdateRequest, 300);
}
private class Rediff implements DocumentListener, Disposable {
private final Document myDocument;
private boolean myLinstening = false;
public Rediff(Document document) {
myDocument = document;
}
public void beforeDocumentChange(DocumentEvent event) {}
public void documentChanged(DocumentEvent event) {
int newLines = StringUtil.getLineBreakCount(event.getNewFragment());
int oldLines = StringUtil.getLineBreakCount(event.getOldFragment());
if (newLines != oldLines) myPanel.invalidateDiff();
requestRediff();
}
public void stopListen() {
if (myLinstening) myDocument.removeDocumentListener(this);
myLinstening = false;
}
public void startListen() {
if (!myLinstening) myDocument.addDocumentListener(this);
myLinstening = true;
}
public void dispose() {
stopListen();
}
}
}
|
