← 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-16 03:29:46 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:713
browser: Added console and run button to allow Python files to be executed in 
the console.

w/m/b/browser.js: Added code to execute file in console
w/a/b/__init__.py: Added code to add console to browser

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/browser.js
487
487
    /* Available if exactly one file is selected,
488
488
     * and it is a Python file.
489
489
     */
490
 
    /* TODO */
 
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
    }
491
511
 
492
512
    /* Download */
493
513
    /* Always available.
723
743
    }
724
744
}
725
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
 
726
760
/** Called when the page loads initially.
727
761
 */
728
762
window.onload = function()
754
788
    }
755
789
 
756
790
    navigate(path);
 
791
 
 
792
    /* Set up the console plugin to display as a popup window */
 
793
    console_init(true);
757
794
}