blob: a698971b702b0d4e7d9563a255056d2ca5e64453 (
plain) (
blame)
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
|
package org.eclipse.papyrus.emf.compare.transactional.editor.v2;
import org.eclipse.compare.CompareEditorInput;
import org.eclipse.compare.CompareViewerPane;
import org.eclipse.compare.CompareViewerSwitchingPane;
import org.eclipse.compare.ITypedElement;
import org.eclipse.compare.internal.CompareStructureViewerSwitchingPane;
import org.eclipse.compare.structuremergeviewer.IDiffContainer;
import org.eclipse.jface.resource.ImageDescriptor;
import org.eclipse.jface.viewers.Viewer;
import org.eclipse.papyrus.emf.compare.transactional.editor.Activator;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.team.internal.ui.synchronize.SaveablesCompareEditorInput;
import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.Saveable;
public class PapyrusSaveablesCompareEditorInput extends SaveablesCompareEditorInput {
private String TRANSACTIONAL_COMPARE_EDITOR_IMAGE_PATH = "icons/papyrus_compare_editor.gif";
private ITypedElement left;
//TODO create an interface?
public ITypedElement getLeft() {
return left;
}
//TODO create an interface?
public ITypedElement getRight() {
return right;
}
private ITypedElement right;
public PapyrusSaveablesCompareEditorInput(ITypedElement ancestor, ITypedElement left, ITypedElement right, IWorkbenchPage page) {
super(ancestor, left, right, page);
this.left = left;
this.right = right;
}
protected Image fgTitleImage;
public Image getTitleImage() {
if(fgTitleImage == null) {
fgTitleImage = Activator.getImage(TRANSACTIONAL_COMPARE_EDITOR_IMAGE_PATH);
}
return fgTitleImage;
}
public ImageDescriptor getImageDescriptor() {
return ImageDescriptor.createFromImage(getTitleImage());
}
public String getToolTipText() {
return getTitle();
}
public String getTitle() {
String title = super.getTitle();
return title.replaceFirst("Compare", "PapyrusCompare");
}
}
|