← 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-02-25 02:26:39 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:562
Added new app: Diff (SVN diff application)
setup.py: Added diffservice script to jail scripts

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",
69
 
    "revision": "revision.png"
 
68
    "modified": "modified.png"
70
69
};
71
70
 
72
71
/* Mapping SVN status to "nice" strings */
79
78
    "replaced": "Permanent file (replaced)",
80
79
    "modified": "Permanent file (modified)",
81
80
    "merged": "Permanent file (merged)",
82
 
    "conflicted": "Permanent file (conflicted)",
83
 
    "revision": "Past Permanent file (revision)"
 
81
    "conflicted": "Permanent file (conflicted)"
84
82
};
85
83
 
86
84
default_svn_icon = null;
101
99
 
102
100
/* Global variables */
103
101
 
104
 
/** The listing object returned by the server as JSON */
105
 
file_listing = null;
106
 
current_file = null;
107
102
current_path = "";
108
103
 
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
 
 
117
104
/** Calls the server using Ajax, performing an action on the server side.
118
105
 * Receives the response from the server and performs a refresh of the page
119
106
 * contents, updating it to display the returned data (such as a directory
159
146
 * Called "navigate", can also be used for a simple refresh.
160
147
 * Always makes a GET request.
161
148
 * No return value.
 
149
 * \param editmode Optional boolean. If true, then the user navigated here
 
150
 * with an "edit" URL so we should favour using the editor.
162
151
 */
163
 
function navigate(path)
 
152
function navigate(path, editmode)
164
153
{
165
154
    callback = function(response)
166
155
        {
167
156
            /* Read the response and set up the page accordingly */
168
 
            handle_response(path, response, url.args);
 
157
            handle_response(path, response, editmode);
169
158
        }
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);
 
159
    /* Call the server and request the listing. This mutates the server. */
 
160
    ajax_call(callback, service_app, path, null, "GET");
183
161
}
184
162
 
185
163
/** Determines the "handler type" from a MIME type.
211
189
 * things) be used to update the URL in the location bar.
212
190
 * \param response XMLHttpRequest object returned by the server. Should
213
191
 * contain all the response data.
214
 
 * \param url_args Arguments dict, for the arguments passed to the URL
215
 
 * in the browser's address bar (will be forwarded along).
 
192
 * \param editmode Optional boolean. If true, then the user navigated here
 
193
 * with an "edit" URL so we should favour using the editor.
216
194
 */
217
 
function handle_response(path, response, url_args)
 
195
function handle_response(path, response, editmode)
218
196
{
219
197
    /* TODO: Set location bar to "path" */
220
198
    current_path = path;
221
199
 
222
200
    /* Clear away the existing page contents */
223
201
    clearpage();
 
202
    /* Display the path at the top, for navigation */
 
203
    presentpath(path);
224
204
 
225
205
    /* Check the status, and if not 200, read the error and handle this as an
226
206
     * error. */
233
213
        return;
234
214
    }
235
215
 
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
 
 
254
216
    /* Check if this is a directory listing or file contents */
255
217
    var isdir = response.getResponseHeader("X-IVLE-Return") == "Dir";
256
 
    if (isdir)
 
218
    if (!editmode && isdir)
257
219
    {
 
220
        var listing = response.responseText;
 
221
        /* The listing SHOULD be valid JSON text. Parse it into an object. */
 
222
        try
 
223
        {
 
224
            listing = JSON.parse(listing);
 
225
        }
 
226
        catch (e)
 
227
        {
 
228
            handle_error("The server returned an invalid directory listing");
 
229
            return;
 
230
        }
258
231
        handle_dir_listing(path, listing);
259
232
    }
260
233
    else
261
234
    {
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();
 
235
        /* Treat this as an ordinary file. Get the file type. */
 
236
        var content_type = response.getResponseHeader("Content-Type");
 
237
        var handler_type = get_handler_type(content_type);
 
238
        /* If we're in "edit mode", always treat this file as text */
 
239
        would_be_handler_type = handler_type;
 
240
        if (editmode) handler_type = "text";
 
241
        /* handler_type should now be set to either
 
242
         * "text", "image", "audio" or "binary". */
 
243
        switch (handler_type)
 
244
        {
 
245
        case "text":
 
246
            if (isdir)
 
247
            {
 
248
                handle_text(path_join(path, "untitled"), "",
 
249
                    would_be_handler_type);
 
250
            }
 
251
            else
 
252
            {
 
253
                handle_text(path, response.responseText,
 
254
                    would_be_handler_type);
 
255
            }
 
256
            break;
 
257
        case "image":
 
258
            /* TODO: Custom image handler */
 
259
            handle_binary(path, response.responseText);
 
260
            break;
 
261
        case "audio":
 
262
            /* TODO: Custom audio handler */
 
263
            handle_binary(path, response.responseText);
 
264
            break;
 
265
        case "binary":
 
266
            handle_binary(path);
 
267
            break;
 
268
        }
 
269
    }
327
270
}
328
271
 
329
272
/** Deletes all "dynamic" content on the page.
332
275
 */
333
276
function clearpage()
334
277
{
 
278
    dom_removechildren(document.getElementById("path"));
335
279
    dom_removechildren(document.getElementById("filesbody"));
336
280
}
337
281
 
348
292
    dom_removechildren(document.getElementById("sidepanel"));
349
293
}
350
294
 
 
295
/** Sets the mode to either "file browser" or "text editor" mode.
 
296
 * This modifies the window icon, and selected tab.
 
297
 * \param editmode If True, editor mode. Else, file browser mode.
 
298
 */
 
299
function setmode(editmode)
 
300
{
 
301
    /* Find the DOM elements for the file browser and editor tabs */
 
302
    var tabs = document.getElementById("apptabs");
 
303
    var tab_files = null;
 
304
    var tab_edit = null;
 
305
    var a;
 
306
    var href;
 
307
    for (var i=0; i<tabs.childNodes.length; i++)
 
308
    {
 
309
        /* Find the href of the link within */
 
310
        if (!tabs.childNodes[i].getElementsByTagName) continue;
 
311
        a = tabs.childNodes[i].getElementsByTagName("a");
 
312
        if (a.length == 0) continue;
 
313
        href = a[0].getAttribute("href");
 
314
        if (href == null) continue;
 
315
        if (endswith(href, this_app))
 
316
            tab_files = tabs.childNodes[i];
 
317
        else if (endswith(href, edit_app))
 
318
            tab_edit = tabs.childNodes[i];
 
319
    }
 
320
 
 
321
    if (editmode)
 
322
    {
 
323
        tab_files.removeAttribute("class");
 
324
        tab_edit.setAttribute("class", "thisapp");
 
325
    }
 
326
    else
 
327
    {
 
328
        tab_edit.removeAttribute("class");
 
329
        tab_files.setAttribute("class", "thisapp");
 
330
    }
 
331
}
 
332
 
351
333
/*** HANDLERS for different types of responses (such as dir listing, file,
352
334
 * etc). */
353
335
 
354
336
function handle_error(message)
355
337
{
 
338
    setmode(false);
356
339
    var files = document.getElementById("filesbody");
357
340
    var txt_elem = dom_make_text_elem("div", "Error: "
358
341
        + message.toString() + ".")
360
343
    files.appendChild(txt_elem);
361
344
}
362
345
 
 
346
/** Presents a path list (address bar inside the page) for clicking.
 
347
 */
 
348
function presentpath(path)
 
349
{
 
350
    var dom_path = document.getElementById("path");
 
351
    var href_path = make_path(this_app);
 
352
    var nav_path = "";
 
353
    var dir;
 
354
 
 
355
    /* Also set the document title */
 
356
    document.title = path_basename(path) + " - IVLE";
 
357
    /* Create all of the paths */
 
358
    var pathlist = path.split("/");
 
359
    for (var i=0; i<pathlist.length; i++)
 
360
    {
 
361
        dir = pathlist[i];
 
362
        if (dir == "") continue;
 
363
        /* Make an 'a' element */
 
364
        href_path = path_join(href_path, dir);
 
365
        nav_path = path_join(nav_path, dir);
 
366
        var link = dom_make_link_elem("a", dir, "Navigate to " + nav_path,
 
367
                href_path/*, "navigate(" + repr(href_path) + ")"*/);
 
368
        dom_path.appendChild(link);
 
369
        dom_path.appendChild(document.createTextNode("/"));
 
370
    }
 
371
    dom_path.removeChild(dom_path.lastChild);
 
372
}
 
373
 
363
374
/** Given a mime type, returns the path to the icon.
364
375
 * \param type String, Mime type.
365
376
 * \param sizelarge Boolean, optional.
409
420
 */
410
421
function handle_binary(path)
411
422
{
 
423
    setmode(false);
412
424
    var files = document.getElementById("filesbody");
413
425
    var div = document.createElement("div");
414
426
    files.appendChild(div);
423
435
    div.appendChild(par2);
424
436
}
425
437
 
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
 
    /* TODO */
491
 
 
492
 
    /* Download */
493
 
    /* Always available.
494
 
     * If 0 files selected, download the current file or directory as a ZIP.
495
 
     * If 1 directory selected, download it as a ZIP.
496
 
     * If 1 non-directory selected, download it.
497
 
     * If >1 files selected, download them all as a ZIP.
498
 
     */
499
 
    var download = document.getElementById("act_download");
500
 
    if (numsel <= 1)
501
 
    {
502
 
        if (numsel == 0)
503
 
        {
504
 
            download.setAttribute("href",
505
 
                app_path(download_app, current_path));
506
 
            if (file.isdir)
507
 
                download.setAttribute("title",
508
 
                    "Download the current directory as a ZIP file");
509
 
            else
510
 
                download.setAttribute("title",
511
 
                    "Download the current file");
512
 
        }
513
 
        else
514
 
        {
515
 
            download.setAttribute("href",
516
 
                app_path(download_app, current_path, filename));
517
 
            if (file.isdir)
518
 
                download.setAttribute("title",
519
 
                    "Download the selected directory as a ZIP file");
520
 
            else
521
 
                download.setAttribute("title",
522
 
                    "Download the selected file");
523
 
        }
524
 
    }
525
 
    else
526
 
    {
527
 
        /* Make a query string with all the files to download */
528
 
        var dlpath = urlencode_path(app_path(download_app, current_path)) + "?";
529
 
        for (var i=0; i<numsel; i++)
530
 
            dlpath += "path=" + encodeURIComponent(selected_files[i]) + "&";
531
 
        dlpath = dlpath.substr(0, dlpath.length-1);
532
 
        download.setAttribute("href", dlpath);
533
 
        download.setAttribute("title",
534
 
            "Download the selected files as a ZIP file");
535
 
    }
536
 
 
537
 
    /* Refresh - No changes required */
538
 
 
539
 
    /* Publish and Submit */
540
 
    /* If this directory is under subversion and selected/unselected file is a
541
 
     * directory. */
542
 
    var publish = document.getElementById("act_publish");
543
 
    var submit = document.getElementById("act_submit");
544
 
    if (numsel <= 1 && file.isdir)
545
 
    {
546
 
        /* TODO: Work out of file is svn'd */
547
 
        /* TODO: If this dir is already published, call it "Unpublish" */
548
 
        publish.setAttribute("class", "choice");
549
 
        publish.removeAttribute("disabled");
550
 
        submit.setAttribute("class", "choice");
551
 
        submit.removeAttribute("disabled");
552
 
    }
553
 
    else
554
 
    {
555
 
        publish.setAttribute("class", "disabled");
556
 
        publish.setAttribute("disabled", "disabled");
557
 
        submit.setAttribute("class", "disabled");
558
 
        submit.setAttribute("disabled", "disabled");
559
 
    }
560
 
 
561
 
    /* Share */
562
 
    /* If exactly 1 non-directory file is selected/opened, and its parent
563
 
     * directory is published.
564
 
     */
565
 
    var share = document.getElementById("act_share");
566
 
    if (numsel <= 1 && !file.isdir)
567
 
    {
568
 
        /* TODO: Work out if parent dir is published */
569
 
        share.setAttribute("class", "choice");
570
 
        share.removeAttribute("disabled");
571
 
    }
572
 
    else
573
 
    {
574
 
        share.setAttribute("class", "disabled");
575
 
        share.setAttribute("disabled", "disabled");
576
 
    }
577
 
 
578
 
    /* Rename */
579
 
    /* If exactly 1 file is selected */
580
 
    var rename = document.getElementById("act_rename");
581
 
    if (numsel == 1)
582
 
    {
583
 
        rename.setAttribute("class", "choice");
584
 
        rename.removeAttribute("disabled");
585
 
    }
586
 
    else
587
 
    {
588
 
        rename.setAttribute("class", "disabled");
589
 
        rename.setAttribute("disabled", "disabled");
590
 
    }
591
 
 
592
 
    /* Delete, cut, copy */
593
 
    /* If >= 1 file is selected */
594
 
    var act_delete = document.getElementById("act_delete");
595
 
    var cut = document.getElementById("act_cut");
596
 
    var copy = document.getElementById("act_copy");
597
 
    if (numsel >= 1)
598
 
    {
599
 
        act_delete.setAttribute("class", "choice");
600
 
        act_delete.removeAttribute("disabled");
601
 
        cut.setAttribute("class", "choice");
602
 
        cut.removeAttribute("disabled");
603
 
        copy.setAttribute("class", "choice");
604
 
        copy.removeAttribute("disabled");
605
 
    }
606
 
    else
607
 
    {
608
 
        act_delete.setAttribute("class", "disabled");
609
 
        act_delete.setAttribute("disabled", "disabled");
610
 
        cut.setAttribute("class", "disabled");
611
 
        cut.setAttribute("disabled", "disabled");
612
 
        copy.setAttribute("class", "disabled");
613
 
        copy.setAttribute("disabled", "disabled");
614
 
    }
615
 
 
616
 
    /* Paste, new file, new directory, upload */
617
 
    /* Always enabled (assuming this is a directory) */
618
 
 
619
 
    /* Subversion actions */
620
 
    /* TODO: Work out when these are appropriate */
621
 
    var svnadd = document.getElementById("act_svnadd");
622
 
    var svnrevert = document.getElementById("act_svnrevert");
623
 
    var svncommit = document.getElementById("act_svncommit");
624
 
    if (true)
625
 
    {
626
 
        svnadd.setAttribute("class", "choice");
627
 
        svnadd.removeAttribute("disabled");
628
 
        svnrevert.setAttribute("class", "choice");
629
 
        svnrevert.removeAttribute("disabled");
630
 
        svncommit.setAttribute("class", "choice");
631
 
        svncommit.removeAttribute("disabled");
632
 
    }
633
 
    var svncheckout = document.getElementById("act_svncheckout");
634
 
    /* current_path == username: We are at the top level */
635
 
    if (current_path == username)
636
 
    {
637
 
        svncheckout.setAttribute("class", "choice");
638
 
        svncheckout.removeAttribute("disabled");
639
 
    }
640
 
    else
641
 
    {
642
 
        svncheckout.setAttribute("class", "disabled");
643
 
        svncheckout.setAttribute("disabled", "disabled");
644
 
    }
645
 
 
646
 
    return;
647
 
}
648
 
 
649
 
/** Event handler for when an item of the "More actions..." dropdown box is
650
 
 * selected. Performs the selected action. */
651
 
function handle_moreactions()
652
 
{
653
 
    var moreactions = document.getElementById("moreactions");
654
 
    if (moreactions.value == "top")
655
 
        return;
656
 
    var selectedaction = moreactions.value;
657
 
    /* Reset to "More actions..." */
658
 
    moreactions.selectedIndex = 0;
659
 
 
660
 
    /* If 0 files selected, filename is the name of the current dir.
661
 
     * If 1 file selected, filename is that file.
662
 
     */
663
 
    if (selected_files.length == 0)
664
 
        filename = path_basename(current_path);
665
 
    else if (selected_files.length == 1)
666
 
        filename = selected_files[0];
667
 
    else
668
 
        filename = null;
669
 
 
670
 
    /* Now handle the selected action */
671
 
    switch(selectedaction)
672
 
    {
673
 
    case "publish":
674
 
        action_publish(selected_files);
675
 
        break;
676
 
    case "unpublish":
677
 
        action_unpublish(selected_files);
678
 
        break;
679
 
    case "share":
680
 
        // TODO
681
 
        alert("Not yet implemented: Sharing files");
682
 
        break;
683
 
    case "submit":
684
 
        // TODO
685
 
        alert("Not yet implemented: Submit");
686
 
        break;
687
 
    case "rename":
688
 
        action_rename(filename);
689
 
        break;
690
 
    case "delete":
691
 
        action_remove(selected_files);
692
 
        break;
693
 
    case "copy":
694
 
        action_copy(selected_files);
695
 
        break;
696
 
    case "cut":
697
 
        action_cut(selected_files);
698
 
        break;
699
 
    case "paste":
700
 
        action_paste();
701
 
        break;
702
 
    case "newfile":
703
 
        action_newfile();
704
 
        break;
705
 
    case "mkdir":
706
 
        action_mkdir();
707
 
        break;
708
 
    case "upload":
709
 
        show_uploadpanel(true);
710
 
        break;
711
 
    case "svnadd":
712
 
        action_add(selected_files);
713
 
        break;
714
 
    case "svnrevert":
715
 
        action_revert(selected_files);
716
 
        break;
717
 
    case "svncommit":
718
 
        action_commit(selected_files);
719
 
        break;
720
 
    case "svncheckout":
721
 
        action_checkout();
722
 
        break;
723
 
    }
724
 
}
725
 
 
726
438
/** Called when the page loads initially.
727
439
 */
728
440
window.onload = function()
734
446
    var path = parse_url(window.location.href).path;
735
447
    /* Strip out root_dir + "/files" from the front of the path */
736
448
    var strip = make_path(this_app);
 
449
    var editmode = false;
737
450
    if (path.substr(0, strip.length) == strip)
738
451
        path = path.substr(strip.length+1);
739
452
    else
743
456
        if (path.substr(0, strip.length) == strip)
744
457
        {
745
458
            path = path.substr(strip.length+1);
 
459
            editmode = true;
746
460
        }
747
461
    }
748
462
 
753
467
        path = username;
754
468
    }
755
469
 
756
 
    navigate(path);
 
470
    navigate(path, editmode);
757
471
}