← 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-03-04 11:38:02 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:642
makeuser.py: Needs to import random

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/browser.js
55
55
default_type_icon = "txt.png";
56
56
 
57
57
/* Relative to IVLE root */
58
 
type_icons_path = "+media/ivle.webapp.core/images/mime";
59
 
type_icons_path_large = "+media/ivle.webapp.core/images/mime/large";
 
58
type_icons_path = "media/images/mime";
 
59
type_icons_path_large = "media/images/mime/large";
60
60
 
61
61
/* Mapping SVN status to icons, just the file's basename */
62
62
svn_icons = {
66
66
    "missing": "missing.png",
67
67
    "deleted": "deleted.png",
68
68
    "modified": "modified.png",
69
 
    "conflicted": "conflicted.png",
70
69
    "revision": "revision.png"
71
70
};
72
71
 
87
86
default_svn_icon = null;
88
87
default_svn_nice = "Unknown status";
89
88
 
90
 
svn_icons_path = "+media/ivle.webapp.core/images/svn";
 
89
svn_icons_path = "media/images/svn";
91
90
 
92
 
published_icon = "+media/ivle.webapp.core/images/interface/published.png";
 
91
published_icon = "media/images/interface/published.png";
93
92
 
94
93
/* List of MIME types considered "executable" by the system.
95
94
 * Executable files offer a "run" link, implying that the "serve"
105
104
/** The listing object returned by the server as JSON */
106
105
file_listing = null;
107
106
current_file = null;
108
 
current_revision = null;
109
107
current_path = "";
110
108
 
111
109
/** Filenames of all files selected
144
142
            /* Check for action errors reported by the server, and report them
145
143
             * to the user */
146
144
            var error = response.getResponseHeader("X-IVLE-Action-Error");
147
 
            if (error != null && error != "")
148
 
                /* Note: This header (in particular) comes URI-encoded, to
149
 
                 * allow multi-line error messages. Decode */
150
 
                alert("Error: " + decodeURIComponent(error.toString()) + ".");
 
145
            if (error != null)
 
146
                alert("Error: " + error.toString() + ".");
151
147
            /* Now read the response and set up the page accordingly */
152
148
            if (ignore_response != true)
153
 
                handle_response(path, response, true);
 
149
                handle_response(path, response);
154
150
        }
155
151
    /* Call the server and perform the action. This mutates the server. */
156
152
    ajax_call(callback, service_app, path, args, "POST", content_type);
169
165
    callback = function(response)
170
166
        {
171
167
            /* Read the response and set up the page accordingly */
172
 
            handle_response(path, response, false, url.args);
 
168
            handle_response(path, response, url.args);
173
169
        }
174
170
    /* Get any query strings */
175
171
    url = parse_url(window.location.href);
183
179
 */
184
180
function refresh()
185
181
{
186
 
    if (maybe_save('All changes since the last save will be lost!'))
187
 
        navigate(current_path);
 
182
    navigate(current_path);
188
183
}
189
184
 
190
185
/** Determines the "handler type" from a MIME type.
216
211
 * things) be used to update the URL in the location bar.
217
212
 * \param response XMLHttpRequest object returned by the server. Should
218
213
 * contain all the response data.
219
 
 * \param is_action Boolean. True if this is the response to an action, false
220
 
 * if this is the response to a simple listing. This is used in handling the
221
 
 * error.
222
214
 * \param url_args Arguments dict, for the arguments passed to the URL
223
215
 * in the browser's address bar (will be forwarded along).
224
216
 */
225
 
function handle_response(path, response, is_action, url_args)
 
217
function handle_response(path, response, url_args)
226
218
{
227
219
    /* TODO: Set location bar to "path" */
228
220
    current_path = path;
241
233
        return;
242
234
    }
243
235
 
244
 
    var subjects = null;
245
 
    var top_level_dir = path==username;
246
 
    if (top_level_dir)
247
 
    {
248
 
        var req = ajax_call(null, "userservice", "get_enrolments", null, "GET")
249
 
        subjects = decode_response(req);
250
 
    }
251
 
 
252
 
 
253
236
    /* This will always return a listing, whether it is a dir or a file.
254
237
     */
255
238
    var listing = response.responseText;
261
244
    }
262
245
    catch (e)
263
246
    {
264
 
        if (is_action)
265
 
        {
266
 
            var err = document.createElement("div");
267
 
            var p = dom_make_text_elem("p", "Error: "
268
 
                    + "There was an unexpected server error processing "
269
 
                    + "the selected command.");
270
 
            err.appendChild(p);
271
 
            p = dom_make_text_elem("p", "If the problem persists, please "
272
 
                    + "contact the system administrator.")
273
 
            err.appendChild(p);
274
 
            p = document.createElement("p");
275
 
            var refresh = document.createElement("input");
276
 
            refresh.setAttribute("type", "button");
277
 
            refresh.setAttribute("value", "Back to file view");
278
 
            refresh.setAttribute("onclick", "refresh()");
279
 
            p.appendChild(refresh);
280
 
            err.appendChild(p);
281
 
            handle_error(err);
282
 
        }
283
 
        else
284
 
        {
285
 
            var err = document.createElement("div");
286
 
            var p = dom_make_text_elem("p", "Error: "
287
 
                    + "There was an unexpected server error retrieving "
288
 
                    + "the requested file or directory.");
289
 
            err.appendChild(p);
290
 
            p = dom_make_text_elem("p", "If the problem persists, please "
291
 
                    + "contact the system administrator.")
292
 
            err.appendChild(p);
293
 
            handle_error(err);
294
 
        }
 
247
        handle_error("The server returned an invalid directory listing");
295
248
        return;
296
249
    }
297
250
    /* Get "." out, it's special */
298
251
    current_file = file_listing["."];     /* Global */
299
252
    delete file_listing["."];
300
253
 
301
 
    if ('revision' in listing)
302
 
    {
303
 
        current_revision = listing.revision;
304
 
    }
305
 
 
306
254
    /* Check if this is a directory listing or file contents */
307
255
    var isdir = response.getResponseHeader("X-IVLE-Return") == "Dir";
308
256
    if (isdir)
309
257
    {
310
 
        setup_for_listing();
311
 
        home_listing(listing, subjects, path);
 
258
        handle_dir_listing(path, listing);
312
259
    }
313
260
    else
314
261
    {
376
323
     */
377
324
    upload_callback_count++;
378
325
    if (upload_callback_count >= 2)
379
 
    {
380
 
        myFrame = frames['upload_iframe'].document;
381
 
        data = myFrame.firstChild.childNodes[1].firstChild.firstChild.nodeValue;
382
 
        data = JSON.parse(data);
383
 
        if ('Error' in data)
384
 
            alert("Error: " + decodeURIComponent(data['Error']));
385
 
        document.getElementsByName('data')[0].value = '';
386
326
        refresh();
387
 
    }
388
327
}
389
328
 
390
329
/** Deletes all "dynamic" content on the page.
396
335
    dom_removechildren(document.getElementById("filesbody"));
397
336
}
398
337
 
399
 
/* Checks if a file needs to be saved. If it does, the user will be asked
400
 
 * if they want to continue anyway. The caller must specify a warning
401
 
 * sentence which indicates the consequences of continuing.
402
 
 * Returns true if we should continue, and false if we should not.
403
 
 */
404
 
function maybe_save(warning)
405
 
{
406
 
    if (warning == null) warning = '';
407
 
    if (current_file.isdir) return true;
408
 
    if (document.getElementById("save_button").disabled) return true;
409
 
    return confirm("This file has unsaved changes. " + warning +
410
 
                   "\nAre you sure you wish to continue?");
411
 
}
412
 
 
413
338
/** Deletes all "dynamic" content on the page necessary to navigate from
414
339
 * one directory listing to another (does not clear as much as clearpage
415
340
 * does).
426
351
/*** HANDLERS for different types of responses (such as dir listing, file,
427
352
 * etc). */
428
353
 
429
 
/* handle_error.
430
 
 * message may either be a string, or a DOM node, which will be placed inside
431
 
 * a div.
432
 
 */
433
354
function handle_error(message)
434
355
{
435
356
    var files = document.getElementById("filesbody");
436
 
    var txt_elem;
437
 
    if (typeof(message) == "string")
438
 
    {
439
 
        txt_elem = dom_make_text_elem("div", "Error: "
440
 
                   + message.toString() + ".")
441
 
    }
442
 
    else
443
 
    {
444
 
        /* Assume message is a DOM node */
445
 
        txt_elem = document.createElement("div");
446
 
        txt_elem.appendChild(message);
447
 
    }
 
357
    var txt_elem = dom_make_text_elem("div", "Error: "
 
358
        + message.toString() + ".")
448
359
    txt_elem.setAttribute("class", "padding error");
449
360
    files.appendChild(txt_elem);
450
361
}
451
362
 
452
 
/** Given a path, filename and optional revision, returns a URL to open that
453
 
 *  revision of that file.
454
 
 */
455
 
function build_revision_url(path, filename, revision)
456
 
{
457
 
    bits = {'path': app_path(this_app, path, filename)};
458
 
    if (current_revision)
459
 
    {
460
 
        bits['query_string'] = 'r=' + revision;
461
 
    }
462
 
    return build_url(bits);
463
 
}
464
 
 
465
363
/** Given a mime type, returns the path to the icon.
466
364
 * \param type String, Mime type.
467
365
 * \param sizelarge Boolean, optional.
525
423
    div.appendChild(par2);
526
424
}
527
425
 
528
 
/* Enable or disable actions1 moreactions actions. Takes either a single
529
 
 * name, or an array of them.*/
530
 
function set_action_state(names, which, allow_on_revision)
531
 
{
532
 
    if (!(names instanceof Array)) names = Array(names);
533
 
 
534
 
    for (var i=0; i < names.length; i++)
535
 
    {
536
 
        element = document.getElementById('act_' + names[i]);
537
 
        if (which &&
538
 
            !(current_file.svnstatus == 'revision' && !allow_on_revision))
539
 
        {
540
 
            /* Enabling */
541
 
            element.setAttribute("class", "choice");
542
 
            element.removeAttribute("disabled");
543
 
        }
544
 
        else
545
 
        {
546
 
            /* Disabling */
547
 
            element.setAttribute("class", "disabled");
548
 
            element.setAttribute("disabled", "disabled");
549
 
        }
550
 
    }
551
 
}
552
 
 
553
 
/* Updates the list of available actions based on files selected */
554
426
function update_actions()
555
427
{
556
428
    var file;
557
429
    var numsel = selected_files.length;
558
 
    var svn_selection = false;
559
 
    
560
 
    if (numsel > 0)
561
 
    {
562
 
        svn_selection = true;
563
 
        for (var i = 0; i < selected_files.length; i++){
564
 
            if (file_listing[selected_files[i]]["svnstatus"] == "unversioned")
565
 
            {
566
 
                svn_selection = false;        
567
 
            }
568
 
        }
569
 
    }
570
 
    
571
430
    if (numsel <= 1)
572
431
    {
573
432
        if (numsel == 0)
599
458
        else
600
459
            open.setAttribute("title",
601
460
                "Edit or view this file");
602
 
        open.setAttribute("href", build_revision_url(current_path, filename,
603
 
                                                     current_revision));
 
461
        open.setAttribute("href", app_path(this_app, current_path, filename));
604
462
    }
605
463
    else
606
464
    {
610
468
    }
611
469
 
612
470
    /* Serve */
613
 
    /* Available if zero or one files are selected,
 
471
    /* Available if exactly one file is selected,
614
472
     * and only if this is a file, not a directory */
615
473
    var serve = document.getElementById("act_serve");
616
 
    if (numsel <= 1 && !file.isdir && current_file.svnstatus != 'revision')
 
474
    if (numsel == 1 && !file.isdir)
617
475
    {
618
476
        serve.setAttribute("class", "choice");
619
 
        serve.setAttribute("onclick",
620
 
              "return maybe_save('The last saved version will be served.')");
621
 
        if (numsel == 0)
622
 
            serve.setAttribute("href",
623
 
                app_path(serve_app, current_path));
624
 
        else
625
 
            serve.setAttribute("href",
626
 
                app_path(serve_app, current_path, filename));
 
477
        serve.setAttribute("href",
 
478
            app_path(serve_app, current_path, filename));
627
479
    }
628
480
    else
629
481
    {
630
482
        serve.setAttribute("class", "disabled");
631
483
        serve.removeAttribute("href");
632
 
        serve.removeAttribute("onclick");
633
484
    }
634
485
 
635
486
    /* Run */
636
487
    /* Available if exactly one file is selected,
637
488
     * and it is a Python file.
638
489
     */
639
 
    var run = document.getElementById("act_run");
640
 
     
641
 
    if (numsel <= 1 && !file.isdir && file.type == "text/x-python" 
642
 
            && current_file.svnstatus != 'revision')
643
 
    {
644
 
        if (numsel == 0)
645
 
        {
646
 
            // In the edit window
647
 
            var localpath = path_join('/home', current_path);
648
 
        }
649
 
        else
650
 
        {
651
 
            // In the browser window
652
 
            var localpath = path_join('/home', current_path, filename);
653
 
        }
654
 
        run.setAttribute("class", "choice");
655
 
        run.setAttribute("onclick", "runfile('" + localpath + "')");
656
 
    }
657
 
    else
658
 
    {
659
 
        run.setAttribute("class", "disabled");
660
 
        run.removeAttribute("onclick");
661
 
    }
 
490
    /* TODO */
662
491
 
663
492
    /* Download */
664
 
    /* Always available for current files.
 
493
    /* Always available.
665
494
     * If 0 files selected, download the current file or directory as a ZIP.
666
495
     * If 1 directory selected, download it as a ZIP.
667
496
     * If 1 non-directory selected, download it.
668
497
     * If >1 files selected, download them all as a ZIP.
669
498
     */
670
499
    var download = document.getElementById("act_download");
671
 
    if (current_file.svnstatus == 'revision')
672
 
    {
673
 
        download.setAttribute("class", "disabled");
674
 
        download.removeAttribute("onclick");
675
 
    }
676
 
    else if (numsel <= 1)
677
 
    {
678
 
        download.setAttribute("class", "choice")
 
500
    if (numsel <= 1)
 
501
    {
679
502
        if (numsel == 0)
680
503
        {
681
504
            download.setAttribute("href",
706
529
        for (var i=0; i<numsel; i++)
707
530
            dlpath += "path=" + encodeURIComponent(selected_files[i]) + "&";
708
531
        dlpath = dlpath.substr(0, dlpath.length-1);
709
 
        download.setAttribute("class", "choice")
710
532
        download.setAttribute("href", dlpath);
711
533
        download.setAttribute("title",
712
534
            "Download the selected files as a ZIP file");
719
541
     * directory. */
720
542
    var publish = document.getElementById("act_publish");
721
543
    var submit = document.getElementById("act_submit");
722
 
    var pubcond = numsel <= 1 && file.isdir;
723
 
    if (pubcond)
724
 
    {
725
 
        /* If this dir is already published, call it "Unpublish" */
726
 
        if (file.published)
727
 
        {
728
 
            publish.setAttribute("value", "unpublish");
729
 
            publish.setAttribute("title" ,"Make it so this directory "
730
 
                + "can not be seen by anyone on the web");
731
 
            publish.firstChild.nodeValue = "Unpublish";
732
 
        } else {
733
 
            publish.setAttribute("value", "publish");
734
 
            publish.setAttribute("title","Make it so this directory "
735
 
                + "can be seen by anyone on the web");
736
 
            publish.firstChild.nodeValue = "Publish";
737
 
        }
738
 
    }
739
 
    set_action_state(["publish", "submit"], pubcond);
 
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
    }
740
560
 
741
561
    /* Share */
742
 
    /* If exactly 1 non-directory file is selected, and its parent
 
562
    /* If exactly 1 non-directory file is selected/opened, and its parent
743
563
     * directory is published.
744
564
     */
745
 
    set_action_state("share", numsel == 1 && !file.isdir &&
746
 
                     current_file.published);
 
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
    }
747
577
 
748
578
    /* Rename */
749
579
    /* If exactly 1 file is selected */
750
 
    set_action_state("rename", numsel == 1);
 
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
    }
751
591
 
752
592
    /* Delete, cut, copy */
753
593
    /* If >= 1 file is selected */
754
 
    set_action_state(["delete", "cut", "copy"], numsel >= 1);
 
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
    }
755
615
 
756
616
    /* Paste, new file, new directory, upload */
757
 
    /* Disable if the current file is not a directory */
758
 
    set_action_state(["paste", "newfile", "mkdir", "upload"], current_file.isdir);
 
617
    /* Always enabled (assuming this is a directory) */
759
618
 
760
619
    /* Subversion actions */
761
 
    /* These are only useful if we are in a versioned directory and have some
762
 
     * files selected. */
763
 
    set_action_state(["svnadd"], numsel >= 1 && current_file.svnstatus);
764
 
    /* And these are only usefull is ALL the selected files are versioned */
765
 
    set_action_state(["svnremove", "svnrevert", "svncommit", "svncopy", 
766
 
            "svncut"], numsel >= 1 && current_file.svnstatus && svn_selection);
767
 
    
768
 
    /* Diff, log and update only support one path at the moment, so we must
769
 
     * have 0 or 1 versioned files selected. If 0, the directory must be
770
 
     * versioned. */
771
 
    single_versioned_path = (
772
 
         (
773
 
          (numsel == 1 && (svnst = file_listing[selected_files[0]].svnstatus)) ||
774
 
          (numsel == 0 && (svnst = current_file.svnstatus))
775
 
         ) && svnst != "unversioned");
776
 
    set_action_state(["svndiff", "svnupdate"], single_versioned_path);
777
 
 
778
 
    /* We can resolve if we have a file selected and it is conflicted. */
779
 
    set_action_state("svnresolved", single_versioned_path && numsel == 1 && svnst == "conflicted");
780
 
 
781
 
    /* Log should be available for revisions as well. */
782
 
    set_action_state("svnlog", single_versioned_path, true);
783
 
 
784
 
    single_ivle_versioned_path = (
785
 
         (
786
 
          (numsel == 1 && (stat = file_listing[selected_files[0]])) ||
787
 
          (numsel == 0 && (stat = current_file))
788
 
         ) && stat.svnstatus != "unversioned"
789
 
           && stat.svnurl
790
 
           && stat.svnurl.substr(0, svn_base.length) == svn_base);
791
 
    set_action_state(["submit"], single_ivle_versioned_path);
792
 
 
793
 
    /* There is currently nothing on the More Actions menu of use
794
 
     * when the current file is not a directory. Hence, just remove
795
 
     * it entirely.
796
 
     * (This makes some of the above decisions somewhat redundant).
797
 
     * We also take this opportunity to show the appropriate actions2
798
 
     * bar for this path. It should either be a save or upload widget.
799
 
     */
800
 
    if (current_file.isdir)
801
 
    {
802
 
        var actions2_directory = document.getElementById("actions2_directory");
803
 
        actions2_directory.setAttribute("style", "display: inline;");
804
 
        var moreactions = document.getElementById("moreactions_area");
805
 
        moreactions.setAttribute("style", "display: inline;");
806
 
    }
807
 
    else
808
 
    {
809
 
        var actions2_file = document.getElementById("actions2_file");
810
 
        actions2_file.setAttribute("style", "display: inline;");
 
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");
811
632
    }
812
633
 
813
634
    return;
844
665
        action_unpublish(selected_files);
845
666
        break;
846
667
    case "share":
847
 
        window.open(public_app_path("~" + current_path, filename), 'share')
 
668
        // TODO
 
669
        alert("Not yet implemented: Sharing files");
848
670
        break;
849
671
    case "submit":
850
 
        if (selected_files.length == 1)
851
 
            stat = file_listing[selected_files[0]];
852
 
        else
853
 
            stat = current_file;
854
 
        path = stat.svnurl.substr(svn_base.length);
855
 
 
856
 
        /* The working copy might not have an up-to-date version of the
857
 
         * directory. While submitting like this could yield unexpected
858
 
         * results, we should really submit the latest revision to minimise
859
 
         * terrible mistakes - so we run off and ask fileservice for the
860
 
         * latest revision.*/
861
 
        $.post(app_path(service_app, current_path),
862
 
            {"action": "svnrepostat", "path": path},
863
 
            function(result)
864
 
            {
865
 
                window.location = path_join(app_path('+submit'), path) + '?revision=' + result.svnrevision;
866
 
            },
867
 
            "json");
868
 
 
 
672
        // TODO
 
673
        alert("Not yet implemented: Submit");
869
674
        break;
870
675
    case "rename":
871
676
        action_rename(filename);
872
677
        break;
873
678
    case "delete":
874
 
        action_delete(selected_files);
 
679
        action_remove(selected_files);
875
680
        break;
876
681
    case "copy":
877
682
        action_copy(selected_files);
894
699
    case "svnadd":
895
700
        action_add(selected_files);
896
701
        break;
897
 
    case "svnremove":
898
 
        action_remove(selected_files);
899
 
        break;
900
702
    case "svnrevert":
901
703
        action_revert(selected_files);
902
704
        break;
903
 
    case "svndiff":
904
 
        window.location = path_join(app_path('diff'), current_path, selected_files[0] || '');
905
 
        break;
906
 
    case "svnupdate":
907
 
        action_update(selected_files);
908
 
        break;
909
 
    case "svnresolved":
910
 
        action_resolved(selected_files);
911
 
        break;
912
705
    case "svncommit":
913
706
        action_commit(selected_files);
914
707
        break;
915
 
    case "svnlog":
916
 
        window.location = path_join(app_path('svnlog'), current_path, selected_files[0] || '');
917
 
        break;
918
 
    case "svncopy":
919
 
        action_svncopy(selected_files);
920
 
        break;
921
 
    case "svncut":
922
 
        action_svncut(selected_files);
923
 
        break;
924
 
    }
925
 
}
926
 
 
927
 
/** User clicks "Run" button.
928
 
 * Do an Ajax call and print the test output.
929
 
 */
930
 
function runfile(localpath)
931
 
{
932
 
    if (!maybe_save('The last saved version will be run.')) return false;
933
 
 
934
 
    /* Dump the entire file to the console */
935
 
    var callback = function()
936
 
    {
937
 
        console_enter_line("execfile('" + localpath + "')", "block");
938
 
    }
939
 
    start_server(callback)
940
 
    return;
 
708
    }
941
709
}
942
710
 
943
711
/** Called when the page loads initially.
944
712
 */
945
 
function browser_init()
 
713
window.onload = function()
946
714
{
947
715
    /* Navigate (internally) to the path in the URL bar.
948
716
     * This causes the page to be populated with whatever is at that address,