← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/browser/browser.js

  • Committer: dcoles
  • Date: 2008-04-04 04:29:45 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:724
public mode: Backend changes to enable public mode. So long as the folder is 
world readable and a '.published' file is in the folder then files can be 
viewed through the public url.

    w/a/s/__init__.py: Bug fix - now uses the owner param of server_file
    l/c/studpath.py: Now uses worldreadable+'.published' file for permission 
    rather than svn properties

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/browser.js
65
65
    "added": "added.png",
66
66
    "missing": "missing.png",
67
67
    "deleted": "deleted.png",
68
 
    "modified": "modified.png"
 
68
    "modified": "modified.png",
 
69
    "revision": "revision.png"
69
70
};
70
71
 
71
72
/* Mapping SVN status to "nice" strings */
78
79
    "replaced": "Permanent file (replaced)",
79
80
    "modified": "Permanent file (modified)",
80
81
    "merged": "Permanent file (merged)",
81
 
    "conflicted": "Permanent file (conflicted)"
 
82
    "conflicted": "Permanent file (conflicted)",
 
83
    "revision": "Past Permanent file (revision)"
82
84
};
83
85
 
84
86
default_svn_icon = null;
99
101
 
100
102
/* Global variables */
101
103
 
 
104
/** The listing object returned by the server as JSON */
 
105
file_listing = null;
 
106
current_file = null;
102
107
current_path = "";
103
108
 
 
109
/** Filenames of all files selected
 
110
 * (Only used by dir listings, but still needs to be [] for files, so that
 
111
 * update_actions knows that nothing is selected).
 
112
 */
 
113
selected_files = [];
 
114
 
 
115
upload_callback_count = 0;      /* See upload_callback */
 
116
 
104
117
/** Calls the server using Ajax, performing an action on the server side.
105
118
 * Receives the response from the server and performs a refresh of the page
106
119
 * contents, updating it to display the returned data (such as a directory
123
136
function do_action(action, path, args, content_type, ignore_response)
124
137
{
125
138
    args.action = action;
 
139
    /* Callback action, when the server returns */
 
140
    var callback = function(response)
 
141
        {
 
142
            /* Check for action errors reported by the server, and report them
 
143
             * to the user */
 
144
            var error = response.getResponseHeader("X-IVLE-Action-Error");
 
145
            if (error != null)
 
146
                alert("Error: " + error.toString() + ".");
 
147
            /* Now read the response and set up the page accordingly */
 
148
            if (ignore_response != true)
 
149
                handle_response(path, response);
 
150
        }
126
151
    /* Call the server and perform the action. This mutates the server. */
127
 
    response = ajax_call(service_app, path, args, "POST", content_type);
128
 
    /* Check for action errors reported by the server, and report them to the
129
 
     * user */
130
 
    error = response.getResponseHeader("X-IVLE-Action-Error");
131
 
    if (error != null)
132
 
        alert("Error: " + error.toString() + ".");
133
 
    /* Now read the response and set up the page accordingly */
134
 
    if (ignore_response != true)
135
 
        handle_response(path, response);
 
152
    ajax_call(callback, service_app, path, args, "POST", content_type);
136
153
}
137
154
 
138
155
/** Calls the server using Ajax, requesting a directory listing. This should
142
159
 * Called "navigate", can also be used for a simple refresh.
143
160
 * Always makes a GET request.
144
161
 * No return value.
145
 
 * \param editmode Optional boolean. If true, then the user navigated here
146
 
 * with an "edit" URL so we should favour using the editor.
147
 
 */
148
 
function navigate(path, editmode)
149
 
{
150
 
    /* Call the server and request the listing. This mutates the server. */
151
 
    response = ajax_call(service_app, path, null, "GET");
152
 
    /* Now read the response and set up the page accordingly */
153
 
    handle_response(path, response, editmode);
 
162
 */
 
163
function navigate(path)
 
164
{
 
165
    callback = function(response)
 
166
        {
 
167
            /* Read the response and set up the page accordingly */
 
168
            handle_response(path, response, url.args);
 
169
        }
 
170
    /* Get any query strings */
 
171
    url = parse_url(window.location.href);
 
172
    
 
173
    /* Call the server and request the listing. */
 
174
    ajax_call(callback, service_app, path, url.args, "GET");
 
175
}
 
176
 
 
177
/* Refreshes the current view.
 
178
 * Calls navigate on the current path.
 
179
 */
 
180
function refresh()
 
181
{
 
182
    navigate(current_path);
154
183
}
155
184
 
156
185
/** Determines the "handler type" from a MIME type.
182
211
 * things) be used to update the URL in the location bar.
183
212
 * \param response XMLHttpRequest object returned by the server. Should
184
213
 * contain all the response data.
185
 
 * \param editmode Optional boolean. If true, then the user navigated here
186
 
 * with an "edit" URL so we should favour using the editor.
 
214
 * \param url_args Arguments dict, for the arguments passed to the URL
 
215
 * in the browser's address bar (will be forwarded along).
187
216
 */
188
 
function handle_response(path, response, editmode)
 
217
function handle_response(path, response, url_args)
189
218
{
190
219
    /* TODO: Set location bar to "path" */
191
220
    current_path = path;
192
221
 
193
222
    /* Clear away the existing page contents */
194
223
    clearpage();
195
 
    /* Display the path at the top, for navigation */
196
 
    presentpath(path);
197
224
 
198
225
    /* Check the status, and if not 200, read the error and handle this as an
199
226
     * error. */
206
233
        return;
207
234
    }
208
235
 
 
236
    /* This will always return a listing, whether it is a dir or a file.
 
237
     */
 
238
    var listing = response.responseText;
 
239
    /* The listing SHOULD be valid JSON text. Parse it into an object. */
 
240
    try
 
241
    {
 
242
        listing = JSON.parse(listing);
 
243
        file_listing = listing.listing;     /* Global */
 
244
    }
 
245
    catch (e)
 
246
    {
 
247
        handle_error("The server returned an invalid directory listing");
 
248
        return;
 
249
    }
 
250
    /* Get "." out, it's special */
 
251
    current_file = file_listing["."];     /* Global */
 
252
    delete file_listing["."];
 
253
 
209
254
    /* Check if this is a directory listing or file contents */
210
255
    var isdir = response.getResponseHeader("X-IVLE-Return") == "Dir";
211
 
    if (!editmode && isdir)
 
256
    if (isdir)
212
257
    {
213
 
        var listing = response.responseText;
214
 
        /* The listing SHOULD be valid JSON text. Parse it into an object. */
215
 
        try
216
 
        {
217
 
            listing = JSON.parse(listing);
218
 
        }
219
 
        catch (e)
220
 
        {
221
 
            handle_error("The server returned an invalid directory listing");
222
 
            return;
223
 
        }
224
258
        handle_dir_listing(path, listing);
225
259
    }
226
260
    else
227
261
    {
228
 
        /* Treat this as an ordinary file. Get the file type. */
229
 
        var content_type = response.getResponseHeader("Content-Type");
230
 
        var handler_type = get_handler_type(content_type);
231
 
        /* If we're in "edit mode", always treat this file as text */
232
 
        would_be_handler_type = handler_type;
233
 
        if (editmode) handler_type = "text";
234
 
        /* handler_type should now be set to either
235
 
         * "text", "image", "audio" or "binary". */
236
 
        switch (handler_type)
237
 
        {
238
 
        case "text":
239
 
            if (isdir)
240
 
            {
241
 
                handle_text(path_join(path, "untitled"), "",
242
 
                    would_be_handler_type);
243
 
            }
244
 
            else
245
 
            {
246
 
                handle_text(path, response.responseText,
247
 
                    would_be_handler_type);
248
 
            }
249
 
            break;
250
 
        case "image":
251
 
            /* TODO: Custom image handler */
252
 
            handle_binary(path, response.responseText);
253
 
            break;
254
 
        case "audio":
255
 
            /* TODO: Custom audio handler */
256
 
            handle_binary(path, response.responseText);
257
 
            break;
258
 
        case "binary":
259
 
            handle_binary(path);
260
 
            break;
261
 
        }
262
 
    }
 
262
        /* Need to make a 2nd ajax call, this time get the actual file
 
263
         * contents */
 
264
        callback = function(response)
 
265
            {
 
266
                /* Read the response and set up the page accordingly */
 
267
                handle_contents_response(path, response);
 
268
            }
 
269
        /* Call the server and request the listing. */
 
270
        if (url_args)
 
271
            args = shallow_clone_object(url_args);
 
272
        else
 
273
            args = {};
 
274
        /* This time, get the contents of the file, not its metadata */
 
275
        args['return'] = "contents";
 
276
        ajax_call(callback, service_app, path, args, "GET");
 
277
    }
 
278
    update_actions(isdir);
 
279
}
 
280
 
 
281
function handle_contents_response(path, response)
 
282
{
 
283
    /* Treat this as an ordinary file. Get the file type. */
 
284
    var content_type = response.getResponseHeader("Content-Type");
 
285
    var handler_type = get_handler_type(content_type);
 
286
    would_be_handler_type = handler_type;
 
287
    /* handler_type should now be set to either
 
288
     * "text", "image", "audio" or "binary". */
 
289
    switch (handler_type)
 
290
    {
 
291
    case "text":
 
292
        handle_text(path, response.responseText,
 
293
            would_be_handler_type);
 
294
        break;
 
295
    case "image":
 
296
        /* TODO: Custom image handler */
 
297
        handle_binary(path, response.responseText);
 
298
        break;
 
299
    case "audio":
 
300
        /* TODO: Custom audio handler */
 
301
        handle_binary(path, response.responseText);
 
302
        break;
 
303
    case "binary":
 
304
        handle_binary(path);
 
305
        break;
 
306
    }
 
307
}
 
308
 
 
309
/* Called when a form upload comes back (from an iframe).
 
310
 * Refreshes the page.
 
311
 */
 
312
function upload_callback()
 
313
{
 
314
    /* This has a pretty nasty hack, which happens to work.
 
315
     * upload_callback is set as the "onload" callback for the iframe which
 
316
     * receives the response from the server for uploading a file.
 
317
     * This means it gets called twice. Once when initialising the iframe, and
 
318
     * a second time when the actual response comes back.
 
319
     * All we want to do is call navigate to refresh the page. But we CAN'T do
 
320
     * that on the first load or it will just go into an infinite cycle of
 
321
     * refreshing. We need to refresh the page ONLY on the second refresh.
 
322
     * upload_callback_count is reset to 0 just before the iframe is created.
 
323
     */
 
324
    upload_callback_count++;
 
325
    if (upload_callback_count >= 2)
 
326
        refresh();
263
327
}
264
328
 
265
329
/** Deletes all "dynamic" content on the page.
268
332
 */
269
333
function clearpage()
270
334
{
271
 
    dom_removechildren(document.getElementById("path"));
272
335
    dom_removechildren(document.getElementById("filesbody"));
273
336
}
274
337
 
285
348
    dom_removechildren(document.getElementById("sidepanel"));
286
349
}
287
350
 
288
 
/** Sets the mode to either "file browser" or "text editor" mode.
289
 
 * This modifies the window icon, and selected tab.
290
 
 * \param editmode If True, editor mode. Else, file browser mode.
291
 
 */
292
 
function setmode(editmode)
293
 
{
294
 
    /* Find the DOM elements for the file browser and editor tabs */
295
 
    var tabs = document.getElementById("apptabs");
296
 
    var tab_files = null;
297
 
    var tab_edit = null;
298
 
    var a;
299
 
    var href;
300
 
    for (var i=0; i<tabs.childNodes.length; i++)
301
 
    {
302
 
        /* Find the href of the link within */
303
 
        if (!tabs.childNodes[i].getElementsByTagName) continue;
304
 
        a = tabs.childNodes[i].getElementsByTagName("a");
305
 
        if (a.length == 0) continue;
306
 
        href = a[0].getAttribute("href");
307
 
        if (href == null) continue;
308
 
        if (endswith(href, this_app))
309
 
            tab_files = tabs.childNodes[i];
310
 
        else if (endswith(href, edit_app))
311
 
            tab_edit = tabs.childNodes[i];
312
 
    }
313
 
 
314
 
    if (editmode)
315
 
    {
316
 
        tab_files.removeAttribute("class");
317
 
        tab_edit.setAttribute("class", "thisapp");
318
 
    }
319
 
    else
320
 
    {
321
 
        tab_edit.removeAttribute("class");
322
 
        tab_files.setAttribute("class", "thisapp");
323
 
    }
324
 
}
325
 
 
326
351
/*** HANDLERS for different types of responses (such as dir listing, file,
327
352
 * etc). */
328
353
 
329
354
function handle_error(message)
330
355
{
331
 
    setmode(false);
332
356
    var files = document.getElementById("filesbody");
333
357
    var txt_elem = dom_make_text_elem("div", "Error: "
334
358
        + message.toString() + ".")
336
360
    files.appendChild(txt_elem);
337
361
}
338
362
 
339
 
/** Presents a path list (address bar inside the page) for clicking.
340
 
 */
341
 
function presentpath(path)
342
 
{
343
 
    var dom_path = document.getElementById("path");
344
 
    var href_path = make_path(this_app);
345
 
    var nav_path = "";
346
 
    var dir;
347
 
 
348
 
    /* Also set the document title */
349
 
    document.title = path_basename(path) + " - IVLE";
350
 
    /* Create all of the paths */
351
 
    var pathlist = path.split("/");
352
 
    for (var i=0; i<pathlist.length; i++)
353
 
    {
354
 
        dir = pathlist[i];
355
 
        if (dir == "") continue;
356
 
        /* Make an 'a' element */
357
 
        href_path = path_join(href_path, dir);
358
 
        nav_path = path_join(nav_path, dir);
359
 
        var link = dom_make_link_elem("a", dir, "Navigate to " + nav_path,
360
 
                href_path/*, "navigate(" + repr(href_path) + ")"*/);
361
 
        dom_path.appendChild(link);
362
 
        dom_path.appendChild(document.createTextNode("/"));
363
 
    }
364
 
    dom_path.removeChild(dom_path.lastChild);
365
 
}
366
 
 
367
363
/** Given a mime type, returns the path to the icon.
368
364
 * \param type String, Mime type.
369
365
 * \param sizelarge Boolean, optional.
413
409
 */
414
410
function handle_binary(path)
415
411
{
416
 
    setmode(false);
417
412
    var files = document.getElementById("filesbody");
418
413
    var div = document.createElement("div");
419
414
    files.appendChild(div);
428
423
    div.appendChild(par2);
429
424
}
430
425
 
 
426
function update_actions()
 
427
{
 
428
    var file;
 
429
    var numsel = selected_files.length;
 
430
    if (numsel <= 1)
 
431
    {
 
432
        if (numsel == 0)
 
433
        {
 
434
            /* Display information about the current directory instead */
 
435
            filename = path_basename(current_path);
 
436
            file = current_file;
 
437
        }
 
438
        else if (numsel == 1)
 
439
        {
 
440
            filename = selected_files[0];
 
441
            file = file_listing[filename];
 
442
        }
 
443
 
 
444
        /* Update each action node in the topbar.
 
445
         * This includes enabling/disabling actions as appropriate, and
 
446
         * setting href/onclick attributes. */
 
447
    }
 
448
 
 
449
    /* Open */
 
450
    /* Available if exactly one file is selected */
 
451
    var open = document.getElementById("act_open");
 
452
    if (numsel == 1)
 
453
    {
 
454
        open.setAttribute("class", "choice");
 
455
        if (file.isdir)
 
456
            open.setAttribute("title",
 
457
                "Navigate to this directory in the file browser");
 
458
        else
 
459
            open.setAttribute("title",
 
460
                "Edit or view this file");
 
461
        open.setAttribute("href", app_path(this_app, current_path, filename));
 
462
    }
 
463
    else
 
464
    {
 
465
        open.setAttribute("class", "disabled");
 
466
        open.removeAttribute("title");
 
467
        open.removeAttribute("href");
 
468
    }
 
469
 
 
470
    /* Serve */
 
471
    /* Available if exactly one file is selected,
 
472
     * and only if this is a file, not a directory */
 
473
    var serve = document.getElementById("act_serve");
 
474
    if (numsel == 1 && !file.isdir)
 
475
    {
 
476
        serve.setAttribute("class", "choice");
 
477
        serve.setAttribute("href",
 
478
            app_path(serve_app, current_path, filename));
 
479
    }
 
480
    else
 
481
    {
 
482
        serve.setAttribute("class", "disabled");
 
483
        serve.removeAttribute("href");
 
484
    }
 
485
 
 
486
    /* Run */
 
487
    /* Available if exactly one file is selected,
 
488
     * and it is a Python file.
 
489
     */
 
490
    var run = document.getElementById("act_run");
 
491
     
 
492
    if (numsel == 0 && !file.isdir && file.type == "text/x-python")
 
493
    {
 
494
        // In the edit window
 
495
        run.setAttribute("class", "choice");
 
496
        localpath = app_path('home',current_path);
 
497
        run.setAttribute("onclick", "runfile('" + localpath + "')");
 
498
    }
 
499
    else if (numsel == 1 && !file.isdir && file.type == "text/x-python")
 
500
    {
 
501
        // In the browser window
 
502
        run.setAttribute("class", "choice");
 
503
        localpath = app_path('home',current_path,filename);
 
504
        run.setAttribute("onclick", "runfile('" + localpath + "')");
 
505
    }
 
506
    else
 
507
    {
 
508
        run.setAttribute("class", "disabled");
 
509
        run.removeAttribute("onclick");
 
510
    }
 
511
 
 
512
    /* Download */
 
513
    /* Always available.
 
514
     * If 0 files selected, download the current file or directory as a ZIP.
 
515
     * If 1 directory selected, download it as a ZIP.
 
516
     * If 1 non-directory selected, download it.
 
517
     * If >1 files selected, download them all as a ZIP.
 
518
     */
 
519
    var download = document.getElementById("act_download");
 
520
    if (numsel <= 1)
 
521
    {
 
522
        if (numsel == 0)
 
523
        {
 
524
            download.setAttribute("href",
 
525
                app_path(download_app, current_path));
 
526
            if (file.isdir)
 
527
                download.setAttribute("title",
 
528
                    "Download the current directory as a ZIP file");
 
529
            else
 
530
                download.setAttribute("title",
 
531
                    "Download the current file");
 
532
        }
 
533
        else
 
534
        {
 
535
            download.setAttribute("href",
 
536
                app_path(download_app, current_path, filename));
 
537
            if (file.isdir)
 
538
                download.setAttribute("title",
 
539
                    "Download the selected directory as a ZIP file");
 
540
            else
 
541
                download.setAttribute("title",
 
542
                    "Download the selected file");
 
543
        }
 
544
    }
 
545
    else
 
546
    {
 
547
        /* Make a query string with all the files to download */
 
548
        var dlpath = urlencode_path(app_path(download_app, current_path)) + "?";
 
549
        for (var i=0; i<numsel; i++)
 
550
            dlpath += "path=" + encodeURIComponent(selected_files[i]) + "&";
 
551
        dlpath = dlpath.substr(0, dlpath.length-1);
 
552
        download.setAttribute("href", dlpath);
 
553
        download.setAttribute("title",
 
554
            "Download the selected files as a ZIP file");
 
555
    }
 
556
 
 
557
    /* Refresh - No changes required */
 
558
 
 
559
    /* Publish and Submit */
 
560
    /* If this directory is under subversion and selected/unselected file is a
 
561
     * directory. */
 
562
    var publish = document.getElementById("act_publish");
 
563
    var submit = document.getElementById("act_submit");
 
564
    if (numsel <= 1 && file.isdir)
 
565
    {
 
566
        /* TODO: Work out of file is svn'd */
 
567
        /* TODO: If this dir is already published, call it "Unpublish" */
 
568
        publish.setAttribute("class", "choice");
 
569
        publish.removeAttribute("disabled");
 
570
        submit.setAttribute("class", "choice");
 
571
        submit.removeAttribute("disabled");
 
572
    }
 
573
    else
 
574
    {
 
575
        publish.setAttribute("class", "disabled");
 
576
        publish.setAttribute("disabled", "disabled");
 
577
        submit.setAttribute("class", "disabled");
 
578
        submit.setAttribute("disabled", "disabled");
 
579
    }
 
580
 
 
581
    /* Share */
 
582
    /* If exactly 1 non-directory file is selected/opened, and its parent
 
583
     * directory is published.
 
584
     */
 
585
    var share = document.getElementById("act_share");
 
586
    if (numsel <= 1 && !file.isdir)
 
587
    {
 
588
        /* TODO: Work out if parent dir is published */
 
589
        share.setAttribute("class", "choice");
 
590
        share.removeAttribute("disabled");
 
591
    }
 
592
    else
 
593
    {
 
594
        share.setAttribute("class", "disabled");
 
595
        share.setAttribute("disabled", "disabled");
 
596
    }
 
597
 
 
598
    /* Rename */
 
599
    /* If exactly 1 file is selected */
 
600
    var rename = document.getElementById("act_rename");
 
601
    if (numsel == 1)
 
602
    {
 
603
        rename.setAttribute("class", "choice");
 
604
        rename.removeAttribute("disabled");
 
605
    }
 
606
    else
 
607
    {
 
608
        rename.setAttribute("class", "disabled");
 
609
        rename.setAttribute("disabled", "disabled");
 
610
    }
 
611
 
 
612
    /* Delete, cut, copy */
 
613
    /* If >= 1 file is selected */
 
614
    var act_delete = document.getElementById("act_delete");
 
615
    var cut = document.getElementById("act_cut");
 
616
    var copy = document.getElementById("act_copy");
 
617
    if (numsel >= 1)
 
618
    {
 
619
        act_delete.setAttribute("class", "choice");
 
620
        act_delete.removeAttribute("disabled");
 
621
        cut.setAttribute("class", "choice");
 
622
        cut.removeAttribute("disabled");
 
623
        copy.setAttribute("class", "choice");
 
624
        copy.removeAttribute("disabled");
 
625
    }
 
626
    else
 
627
    {
 
628
        act_delete.setAttribute("class", "disabled");
 
629
        act_delete.setAttribute("disabled", "disabled");
 
630
        cut.setAttribute("class", "disabled");
 
631
        cut.setAttribute("disabled", "disabled");
 
632
        copy.setAttribute("class", "disabled");
 
633
        copy.setAttribute("disabled", "disabled");
 
634
    }
 
635
 
 
636
    /* Paste, new file, new directory, upload */
 
637
    /* Always enabled (assuming this is a directory) */
 
638
 
 
639
    /* Subversion actions */
 
640
    /* TODO: Work out when these are appropriate */
 
641
    var svnadd = document.getElementById("act_svnadd");
 
642
    var svnrevert = document.getElementById("act_svnrevert");
 
643
    var svncommit = document.getElementById("act_svncommit");
 
644
    if (true)
 
645
    {
 
646
        svnadd.setAttribute("class", "choice");
 
647
        svnadd.removeAttribute("disabled");
 
648
        svnrevert.setAttribute("class", "choice");
 
649
        svnrevert.removeAttribute("disabled");
 
650
        svncommit.setAttribute("class", "choice");
 
651
        svncommit.removeAttribute("disabled");
 
652
    }
 
653
    var svncheckout = document.getElementById("act_svncheckout");
 
654
    /* current_path == username: We are at the top level */
 
655
    if (current_path == username)
 
656
    {
 
657
        svncheckout.setAttribute("class", "choice");
 
658
        svncheckout.removeAttribute("disabled");
 
659
    }
 
660
    else
 
661
    {
 
662
        svncheckout.setAttribute("class", "disabled");
 
663
        svncheckout.setAttribute("disabled", "disabled");
 
664
    }
 
665
 
 
666
    return;
 
667
}
 
668
 
 
669
/** Event handler for when an item of the "More actions..." dropdown box is
 
670
 * selected. Performs the selected action. */
 
671
function handle_moreactions()
 
672
{
 
673
    var moreactions = document.getElementById("moreactions");
 
674
    if (moreactions.value == "top")
 
675
        return;
 
676
    var selectedaction = moreactions.value;
 
677
    /* Reset to "More actions..." */
 
678
    moreactions.selectedIndex = 0;
 
679
 
 
680
    /* If 0 files selected, filename is the name of the current dir.
 
681
     * If 1 file selected, filename is that file.
 
682
     */
 
683
    if (selected_files.length == 0)
 
684
        filename = path_basename(current_path);
 
685
    else if (selected_files.length == 1)
 
686
        filename = selected_files[0];
 
687
    else
 
688
        filename = null;
 
689
 
 
690
    /* Now handle the selected action */
 
691
    switch(selectedaction)
 
692
    {
 
693
    case "publish":
 
694
        action_publish(selected_files);
 
695
        break;
 
696
    case "unpublish":
 
697
        action_unpublish(selected_files);
 
698
        break;
 
699
    case "share":
 
700
        // TODO
 
701
        alert("Not yet implemented: Sharing files");
 
702
        break;
 
703
    case "submit":
 
704
        // TODO
 
705
        alert("Not yet implemented: Submit");
 
706
        break;
 
707
    case "rename":
 
708
        action_rename(filename);
 
709
        break;
 
710
    case "delete":
 
711
        action_remove(selected_files);
 
712
        break;
 
713
    case "copy":
 
714
        action_copy(selected_files);
 
715
        break;
 
716
    case "cut":
 
717
        action_cut(selected_files);
 
718
        break;
 
719
    case "paste":
 
720
        action_paste();
 
721
        break;
 
722
    case "newfile":
 
723
        action_newfile();
 
724
        break;
 
725
    case "mkdir":
 
726
        action_mkdir();
 
727
        break;
 
728
    case "upload":
 
729
        show_uploadpanel(true);
 
730
        break;
 
731
    case "svnadd":
 
732
        action_add(selected_files);
 
733
        break;
 
734
    case "svnrevert":
 
735
        action_revert(selected_files);
 
736
        break;
 
737
    case "svncommit":
 
738
        action_commit(selected_files);
 
739
        break;
 
740
    case "svncheckout":
 
741
        action_checkout();
 
742
        break;
 
743
    }
 
744
}
 
745
 
 
746
/** User clicks "Run" button.
 
747
 * Do an Ajax call and print the test output.
 
748
 */
 
749
function runfile(localpath)
 
750
{
 
751
    /* Dump the entire file to the console */
 
752
    var callback = function()
 
753
    {
 
754
        console_enter_line("execfile('" + localpath + "')", "block");
 
755
    }
 
756
    start_server(callback)
 
757
    return;
 
758
}
 
759
 
431
760
/** Called when the page loads initially.
432
761
 */
433
762
window.onload = function()
439
768
    var path = parse_url(window.location.href).path;
440
769
    /* Strip out root_dir + "/files" from the front of the path */
441
770
    var strip = make_path(this_app);
442
 
    var editmode = false;
443
771
    if (path.substr(0, strip.length) == strip)
444
772
        path = path.substr(strip.length+1);
445
773
    else
449
777
        if (path.substr(0, strip.length) == strip)
450
778
        {
451
779
            path = path.substr(strip.length+1);
452
 
            editmode = true;
453
780
        }
454
781
    }
455
782
 
460
787
        path = username;
461
788
    }
462
789
 
463
 
    navigate(path, editmode);
 
790
    navigate(path);
 
791
 
 
792
    /* Set up the console plugin to display as a popup window */
 
793
    console_init(true);
464
794
}