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
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
|
var ContentViewer = {} ;
ContentViewer.contentViewer_current = "top";
//___________________________________________________________________________________
/*
This function updates the ContentViewer "Unview" field
after the user chooses to view or stop viewing something
*/
ContentViewer.updateContentViewerNoRequest = function()
{ // Unused?
var form = document.getElementById("ContentViewerForm");
var view = form.View;
var unview = form.Unview;
// first updated the list of viewed MEs
ContentViewer.updateViewedList();
// then update the Unview menu, based on the updated list:
unview.options.length = 0;
unview.options[0] = new Option("", "", true, true);
var viewed_from_current = ContentViewer.getViewedFromDir(ContentViewer.contentViewer_current);
for (var i = 0; i < viewed_from_current.length; i++)
{
unview.options[i + 1] = new Option(viewed_from_current[i], viewed_from_current[i], false, false);
}
unview.selectedIndex = 0;
// clear the lingering selection from the "View" menu
view.selectedIndex = 0;
}
//___________________________________________________________________________________
ContentViewer.updateViewedList = function()
{ // Unused?
var form = document.getElementById("ContentViewerForm");
var view = form.View;
var unview = form.Unview;
if (view.value != "")
{
var addition = view.value;
ContentViewer.viewedListAdd(addition);
}
else if (unview.value != "")
{
var removal = unview.value;
ContentViewer.viewedListRemove(removal);
}
}
//___________________________________________________________________________________
ContentViewer.viewedListRemove = function(removal)
{ // Unused?
for (i = 0; i < GifDisplay.current_display.viewed_l.length; i++)
{
if (removal == GifDisplay.current_display.viewed_l[i])
{
GifDisplay.current_display.viewed_l.splice(i, 1);
}
}
}
//___________________________________________________________________________________
ContentViewer.viewedListAdd = function(addition)
{
for (i = 0; i < GifDisplay.current_display.viewed_l.length; i++)
{
if (addition == GifDisplay.current_display.viewed_l[i])
{
return;
}
}
GifDisplay.current_display.viewed_l[GifDisplay.current_display.viewed_l.length] = addition;
}
//___________________________________________________________________________________
ContentViewer.makeContentViewerRequest = function()
{ // Unused?
url = ContentViewer.getContentViewerRequestURL();
WebLib.makeRequest(url, ContentViewer.updateContentViewer);
}
//___________________________________________________________________________________
ContentViewer.getContentViewerRequestURL = function()
{ // Unused?
var form = document.getElementById("ContentViewerForm");
var open = form.Open;
url = WebLib.getApplicationURL();
if (open.value != "")
{
//url = url + "/Request?";
url = url + "RequestID=ContentsOpen";
url = url + "&" + "Current=" + ContentViewer.contentViewer_current;
url = url + "&" + "Open=" + open.value;
}
return url;
}
//___________________________________________________________________________________
/*
This function updates the fields of the content viewer widget
after an "ContentViewerOpen" request.
*/
ContentViewer.updateContentViewer = function()
{ // Unused?
if (WebLib.http_request.readyState == 4)
{
if (WebLib.http_request.status == 200)
{
var xmldoc;
var subdirs_l;
var view_l;
var unview_l;
// Load the xml elements on javascript lists:
if (WebLib.http_request != false)
{
xmldoc = WebLib.http_request.responseXML;
// set the ContentViewer.contentViewer_current first:
ContentViewer.contentViewer_current = xmldoc.getElementsByTagName('current').item(0).firstChild.data;
subdirs_l = xmldoc.getElementsByTagName('open');
view_l = xmldoc.getElementsByTagName('view');
}
// get references to the form elements so that we can update them
var form = document.getElementById("ContentViewerForm");
var open = form.Open;
var view = form.View;
var unview = form.Unview;
// Update the Open menu:
open.options.length = 0;
open.options[0] = new Option("", "", true, true);
open.options[1] = new Option("top", "top", false, false);
for(var i = 0; i < subdirs_l.length; i++)
{
var to_open = subdirs_l.item(i).firstChild.data;
open.options[i + 2] = new Option(to_open, to_open, false, false);
}
open.selectedIndex = 0;
// Update the View menu:
view.options.length = 0;
view.options[0] = new Option("", "", true, true);
for(var i = 0; i < view_l.length; i++)
{
var to_view = view_l.item(i).firstChild.data;
view.options[i + 1] = new Option(to_view, to_view, false, false);
}
view.selectedIndex = 0;
// Update the Unview menu:
unview.options.length = 0;
unview.options[0] = new Option("", "", true, true);
var viewed_from_current = ContentViewer.getViewedFromDir(ContentViewer.contentViewer_current);
for (var i = 0; i < viewed_from_current.length; i++)
{
unview.options[i + 1] = new Option(viewed_from_current[i], viewed_from_current[i], false, false);
}
unview.selectedIndex = 0;
}
}
}
//___________________________________________________________________________________
/*
This function returns an array with all files in viewed_l that
also reside in the directory dir, supplied as a parameter.
*/
ContentViewer.getViewedFromDir = function(dir)
{ // Unused?
var viewed_l = GifDisplay.current_display.viewed_l;
var in_dir_l = new Array();
for (var i = 0; i < GifDisplay.current_display.viewed_l.length; i++)
{
var entry = viewed_l[i];
var index = entry.lastIndexOf("/");
if (entry.substring(0, index) == dir)
{
in_dir_l[in_dir_l.length] = entry;
}
}
return in_dir_l;
}
|