| 1 |
1 |
package org.txm.properties.rcp.editors;
|
| 2 |
2 |
|
| 3 |
|
import java.io.File;
|
| 4 |
|
import java.net.MalformedURLException;
|
| 5 |
|
|
| 6 |
3 |
import org.eclipse.swt.SWT;
|
| 7 |
4 |
import org.eclipse.swt.browser.Browser;
|
| 8 |
5 |
import org.eclipse.swt.events.SelectionListener;
|
| 9 |
6 |
import org.eclipse.swt.layout.GridData;
|
| 10 |
7 |
import org.eclipse.swt.widgets.Composite;
|
| 11 |
|
import org.eclipse.swt.widgets.Label;
|
| 12 |
8 |
import org.eclipse.swt.widgets.TabFolder;
|
| 13 |
9 |
import org.eclipse.swt.widgets.TabItem;
|
| 14 |
10 |
import org.eclipse.swt.widgets.ToolBar;
|
| 15 |
11 |
import org.eclipse.swt.widgets.ToolItem;
|
| 16 |
|
import org.eclipse.ui.internal.browser.ImageResource;
|
| 17 |
12 |
import org.txm.core.results.TXMResult;
|
| 18 |
13 |
import org.txm.objects.Project;
|
| 19 |
|
import org.txm.properties.rcp.Messages;
|
|
14 |
import org.txm.rcp.IImageKeys;
|
| 20 |
15 |
import org.txm.rcp.swt.GLComposite;
|
| 21 |
16 |
import org.txm.utils.logger.Log;
|
| 22 |
17 |
|
| ... | ... | |
| 49 |
44 |
this.browser.setLayoutData(new GridData(GridData.FILL, GridData.FILL, true, true));
|
| 50 |
45 |
}
|
| 51 |
46 |
|
| 52 |
|
|
| 53 |
47 |
private ToolBar createToolbar(Composite parent) {
|
| 54 |
48 |
ToolBar toolbar = new ToolBar(parent, SWT.FLAT);
|
| 55 |
49 |
|
| 56 |
|
// create back and forward actions
|
|
50 |
// create refresh, stop, ..., and print actions
|
| 57 |
51 |
ToolItem back = new ToolItem(toolbar, SWT.NONE);
|
| 58 |
|
back.setImage(ImageResource
|
| 59 |
|
.getImage(ImageResource.IMG_ELCL_NAV_BACKWARD));
|
| 60 |
|
back.setHotImage(ImageResource
|
| 61 |
|
.getImage(ImageResource.IMG_CLCL_NAV_BACKWARD));
|
| 62 |
|
back.setDisabledImage(ImageResource
|
| 63 |
|
.getImage(ImageResource.IMG_DLCL_NAV_BACKWARD));
|
|
52 |
back.setImage(IImageKeys.getImage(IImageKeys.CTRLREVERSE));
|
|
53 |
back.setHotImage(IImageKeys.getImage(IImageKeys.CTRLREVERSE));
|
|
54 |
back.setDisabledImage(IImageKeys.getImage(IImageKeys.CTRLREVERSE));
|
| 64 |
55 |
// back.setToolTipText(Messages.actionWebBrowserBack);
|
| 65 |
56 |
back.addSelectionListener(SelectionListener.widgetSelectedAdapter(e -> this.browser.back()));
|
| 66 |
57 |
|
| 67 |
58 |
ToolItem forward = new ToolItem(toolbar, SWT.NONE);
|
| 68 |
|
forward.setImage(ImageResource
|
| 69 |
|
.getImage(ImageResource.IMG_ELCL_NAV_FORWARD));
|
| 70 |
|
forward.setHotImage(ImageResource
|
| 71 |
|
.getImage(ImageResource.IMG_CLCL_NAV_FORWARD));
|
| 72 |
|
forward.setDisabledImage(ImageResource
|
| 73 |
|
.getImage(ImageResource.IMG_DLCL_NAV_FORWARD));
|
|
59 |
forward.setImage(IImageKeys.getImage(IImageKeys.CTRLPLAY));
|
|
60 |
forward.setHotImage(IImageKeys.getImage(IImageKeys.CTRLPLAY));
|
| 74 |
61 |
// forward.setToolTipText(Messages.actionWebBrowserForward);
|
| 75 |
62 |
forward.addSelectionListener(SelectionListener.widgetSelectedAdapter(e -> this.browser.forward()));
|
| 76 |
63 |
|
| 77 |
|
// create refresh, stop, and print actions
|
| 78 |
64 |
ToolItem stop = new ToolItem(toolbar, SWT.NONE);
|
| 79 |
|
stop.setImage(ImageResource.getImage(ImageResource.IMG_ELCL_NAV_STOP));
|
| 80 |
|
stop.setHotImage(ImageResource
|
| 81 |
|
.getImage(ImageResource.IMG_CLCL_NAV_STOP));
|
| 82 |
|
stop.setDisabledImage(ImageResource
|
| 83 |
|
.getImage(ImageResource.IMG_DLCL_NAV_STOP));
|
|
65 |
stop.setImage(IImageKeys.getImage(IImageKeys.CTRLSTOP));
|
|
66 |
stop.setHotImage(IImageKeys.getImage(IImageKeys.CTRLSTOP));
|
|
67 |
stop.setDisabledImage(IImageKeys.getImage(IImageKeys.CTRLSTOP));
|
| 84 |
68 |
// stop.setToolTipText(Messages.actionWebBrowserStop);
|
| 85 |
69 |
stop.addSelectionListener(SelectionListener.widgetSelectedAdapter(e -> this.browser.stop()));
|
| 86 |
70 |
|
| 87 |
71 |
ToolItem refresh = new ToolItem(toolbar, SWT.NONE);
|
| 88 |
|
refresh.setImage(ImageResource
|
| 89 |
|
.getImage(ImageResource.IMG_ELCL_NAV_REFRESH));
|
| 90 |
|
refresh.setHotImage(ImageResource
|
| 91 |
|
.getImage(ImageResource.IMG_CLCL_NAV_REFRESH));
|
| 92 |
|
refresh.setDisabledImage(ImageResource
|
| 93 |
|
.getImage(ImageResource.IMG_DLCL_NAV_REFRESH));
|
|
72 |
refresh.setImage(IImageKeys.getImage(IImageKeys.REFRESH));
|
|
73 |
refresh.setHotImage(IImageKeys.getImage(IImageKeys.REFRESH));
|
|
74 |
refresh.setDisabledImage(IImageKeys.getImage(IImageKeys.REFRESH));
|
| 94 |
75 |
// refresh.setToolTipText(Messages.actionWebBrowserRefresh);
|
| 95 |
76 |
refresh.addSelectionListener(SelectionListener.widgetSelectedAdapter(e -> this.browser.refresh()));
|
| 96 |
77 |
|
| 97 |
78 |
ToolItem home = new ToolItem(toolbar, SWT.NONE);
|
| 98 |
|
home.setImage(ImageResource
|
| 99 |
|
.getImage(ImageResource.IMG_CLCL_NAV_HOME));
|
| 100 |
|
home.setHotImage(ImageResource
|
| 101 |
|
.getImage(ImageResource.IMG_CLCL_NAV_HOME));
|
| 102 |
|
home.setDisabledImage(ImageResource
|
| 103 |
|
.getImage(ImageResource.IMG_CLCL_NAV_HOME));
|
| 104 |
|
home.setToolTipText("Shows opening page.");
|
|
79 |
home.setImage(IImageKeys.getImage(IImageKeys.HOME));
|
|
80 |
home.setHotImage(IImageKeys.getImage(IImageKeys.HOME));
|
|
81 |
home.setDisabledImage(IImageKeys.getImage(IImageKeys.HOME));
|
|
82 |
home.setToolTipText("Shows the opening page.");
|
| 105 |
83 |
|
| 106 |
84 |
TXMResult r = this.editor.getResult().getParent();
|
| 107 |
85 |
Project p = r.getFirstParent(Project.class);
|