Révision 3488

TXM/trunk/org.txm.backtomedia.rcp/src/org/txm/backtomedia/editors/player/HTMLPlayer.java (revision 3488)
8 8 
import org.eclipse.swt.browser.Browser;
9 9 
import org.eclipse.swt.browser.ProgressEvent;
10 10 
import org.eclipse.swt.browser.ProgressListener;
11 
import org.eclipse.swt.events.DisposeEvent;
12 
import org.eclipse.swt.events.DisposeListener;
11 13 
import org.eclipse.swt.events.KeyEvent;
12 14 
import org.eclipse.swt.events.KeyListener;
13 15 
import org.eclipse.swt.events.SelectionEvent;
......
48 50
49 51 
		this.setLayout(new GridLayout(1, true));
50 52
53 
		this.addDisposeListener(new DisposeListener() {
54
55 
			@Override
56 
			public void widgetDisposed(DisposeEvent e) {
57
58 
				dispose();
59
60 
			}
61 
		});
62
51 63 
		browser = new Browser(this, SWT.NONE);
52 64 
		browser.setLayoutData(new GridData(GridData.FILL, GridData.FILL, true, true));
53 65
......
271 283
272 284
273 285 
	}
274
275 
	//	@Override
276 
	//	public void dispose() {
277 
	//		if (!browser.isDisposed()) {
278 
	//			browser.evaluate("document.getElementById('video').pause();");
279 
	//			browser.evaluate("document.getElementById('video').removeAttribute('src');");
280 
	//		}
281 
	//		super.dispose();
282
286
283 287 
	@Override
284 288 
	public void setCredentials(String login, String mdp) {
285 289

Formats disponibles : Unified diff