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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
// **********************************************************************
//
// Copyright (c) 2003-2009 ZeroC, Inc. All rights reserved.
//
// This copy of Ice is licensed to you under the terms described in the
// ICE_LICENSE file included in this distribution.
//
// **********************************************************************
package IceGridGUI;
import java.awt.Component;
import javax.swing.*;
import javax.swing.event.ChangeEvent;
import javax.swing.event.ChangeListener;
import javax.swing.border.EmptyBorder;
public class MainPane extends JTabbedPane
{
public void addApplication(ApplicationPane application)
{
IceGridGUI.Application.Root root = application.getRoot();
super.addTab(computeTitle(root.getId()), getIcon(root), application);
}
public void setTitleAt(int index, String title)
{
super.setTitleAt(index, computeTitle(title));
}
public void resetTitle(IceGridGUI.Application.Root root)
{
int i = findIndex(root);
if(i > 0)
{
setTitleAt(i, root.getId());
}
}
public void resetIcon(IceGridGUI.Application.Root root)
{
int i = findIndex(root);
if(i > 0)
{
setIconAt(i, getIcon(root));
}
}
public int findIndex(IceGridGUI.Application.Root root)
{
for(int i = 1; i < getTabCount(); ++i)
{
ApplicationPane pane = (ApplicationPane)getComponentAt(i);
if(pane.getRoot() == root)
{
return i;
}
}
return -1;
}
public ApplicationPane findApplication(IceGridGUI.Application.Root root)
{
for(int i = 1; i < getTabCount(); ++i)
{
ApplicationPane pane = (ApplicationPane)getComponentAt(i);
if(pane.getRoot() == root)
{
return pane;
}
}
return null;
}
public void removeApplication(IceGridGUI.Application.Root root)
{
for(int i = 1; i < getTabCount(); ++i)
{
ApplicationPane pane = (ApplicationPane)getComponentAt(i);
if(pane.getRoot() == root)
{
removeTabAt(i);
break;
}
}
}
MainPane(Coordinator coordinator)
{
_coordinator = coordinator;
setBorder(new EmptyBorder(10, 10, 10, 10));
addChangeListener(new ChangeListener()
{
public void stateChanged(ChangeEvent evt)
{
Tab tab = (Tab)getSelectedComponent();
tab.selected();
}
});
_registryIcon = Utils.getIcon("/icons/16x16/registry_bound_application.png");
_fileIcon = Utils.getIcon("/icons/16x16/file_bound_application.png");
addTab("Live Deployment",
Utils.getIcon("/icons/16x16/live_deployment.png"),
_coordinator.getLiveDeploymentPane());
}
private String computeTitle(String name)
{
String title = name;
int i = 0;
while(hasTitle(title))
{
title = name + " (" + Integer.toString(++i) + ")";
}
return title;
}
private boolean hasTitle(String title)
{
int tabCount = getTabCount();
for(int i = 0; i < tabCount; ++i)
{
if(title.equals(getTitleAt(i)))
{
return true;
}
}
return false;
}
private ImageIcon getIcon(IceGridGUI.Application.Root root)
{
if(root.isLive())
{
return _registryIcon;
}
else if(root.hasFile())
{
return _fileIcon;
}
else
{
return null;
}
}
private Coordinator _coordinator;
private ImageIcon _registryIcon;
private ImageIcon _fileIcon;
}
|
