Parent: [a7a9ff] (diff)

Download this file

MediaView.java    86 lines (71 with data), 2.6 kB

 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
/*
* Copyright 2013-2014 TECO - Karlsruhe Institute of Technology.
*
* This file is part of TACET.
*
* TACET is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* TACET is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with TACET. If not, see <http://www.gnu.org/licenses/>.
*/
package squirrel.view;
import java.net.URISyntaxException;
import javax.swing.JPanel;
import javax.swing.JTabbedPane;
import squirrel.controller.video.MainController;
import squirrel.view.video.MediaPlayerView;
import bibliothek.gui.dock.common.DefaultSingleCDockable;
public class MediaView extends DefaultSingleCDockable{
private JTabbedPane tabbedPane;
private MediaPlayerView[] mediaPlayers;
private MainController mainController;
/**
* Constructor of MediaView
* @param masterGui - link to main window
* @throws URISyntaxException
*/
public MediaView(Gui masterGui, MainController mainController){
super("MediaView", "MediaView", new JPanel());
this.mainController = mainController;
mediaPlayers = new MediaPlayerView[mainController.getNoOfPlayers()];
tabbedPane = new JTabbedPane();
for (int i = 0; i < mainController.getNoOfPlayers(); i++) {
mediaPlayers[i] = new MediaPlayerView(mainController, i);
tabbedPane.addTab("Video " + Integer.toString(i + 1), mediaPlayers[i]);
}
this.add(tabbedPane);
}
/**
*
* @return array of CanvasIDs of media player
*/
public long[] getCanvasIDs() {
long[] canvasIDs = new long[mediaPlayers.length];
for (int i = 0; i < mediaPlayers.length; i++) {
canvasIDs[i] = mediaPlayers[i].getCanvasId();
}
return canvasIDs;
}
/**
* Restarts Mediaplayer
*
* e.g. When Mediaplayer is docked on other position
*/
public void reloadMediaPlayers() {
mainController.restoreMediaPlayer(getCanvasIDs());
}
public boolean isConnected() {
return mainController.isConnected();
}
public boolean isEnalrged() {
return tabbedPane.isDisplayable();
}
}