← Back to branch summary

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

« back to all changes in this revision

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

  • Committer: mattgiuca
  • Date: 2008-01-29 23:52:19 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:329
Converted Console from an "app" into a "plugin". It can now be plugged in to
any app.
Added "plugins" directory in www. Added "console" plugin. This contains all of
the functionality of what was previously the console app, but modularized so
it can be imported by another app.

apps/console: Removed most of the logic (moved to plugins/console). Replaced
with a simple import of the console plugin. Should behave exactly the same.
apps/tutorial: As proof of concept, imported the console plugin. It now
appears at the bottom of the page (yet to make it have "pop up" behaviour).

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.js
 
1
saved_status = null;
 
2
 
 
3
function save_file()
 
4
{
 
5
    filename = document.getElementById("save_filename").value;
 
6
    data = editAreaLoader.getValue("editbox");
 
7
    do_action("putfile", filename, {"path":".", "data":data});
 
8
    saved_status.data = "Saved.";
 
9
}
 
10
 
 
11
function edit_text()
 
12
{
 
13
    saved_status.data = "Not saved.";
 
14
}
 
15
 
 
16
/** Presents the text editor.
 
17
 */
 
18
function handle_text(path, text, handler_type)
 
19
{
 
20
    /* Create a textarea with the text in it
 
21
     * (The makings of a primitive editor).
 
22
     */
 
23
 
 
24
    setmode(true);
 
25
    var files = document.getElementById("filesbody");
 
26
    var div = document.createElement("div");
 
27
    files.appendChild(div);
 
28
    div.setAttribute("class", "padding");
 
29
 
 
30
    /* Set up minimal interface */
 
31
    var p = dom_make_text_elem("p", "Path: ");
 
32
    var pathname = document.createElement("input");
 
33
    pathname.setAttribute("type", "text");
 
34
    pathname.setAttribute("size", "30");
 
35
    pathname.setAttribute("id", "save_filename");
 
36
    pathname.setAttribute("value", path);
 
37
    p.appendChild(pathname);
 
38
    var savebutton = document.createElement("input");
 
39
    savebutton.setAttribute("type", "button");
 
40
    savebutton.setAttribute("value", "Save");
 
41
    savebutton.setAttribute("onclick", "save_file()");
 
42
    p.appendChild(savebutton);
 
43
    var t = document.createTextNode(" ");
 
44
    p.appendChild(t);
 
45
    saved_status = document.createTextNode("Saved.");
 
46
    //p.appendChild(saved_status);
 
47
    div.appendChild(p);
 
48
 
 
49
    /* Print a warning message if this is not actually a text file.
 
50
     */
 
51
    if (handler_type != "text")
 
52
    {
 
53
        var warn = dom_make_text_elem("p",
 
54
            "Warning: You are editing a binary " +
 
55
            "file, which explains any strange characters you may see. If " +
 
56
            "you save this file, you could corrupt it.");
 
57
        div.appendChild(warn);
 
58
    }
 
59
    var txt_elem = dom_make_text_elem("textarea",
 
60
        text.toString())
 
61
    div.appendChild(txt_elem);
 
62
    txt_elem.setAttribute("id", "editbox");
 
63
    txt_elem.setAttribute("onchange", "edit_text()");
 
64
    /* TODO: Make CSS height: 100% work */
 
65
    txt_elem.setAttribute("rows", "35");
 
66
 
 
67
    /* Load EditArea into the editbox */
 
68
    editAreaLoader.init({
 
69
        id : "editbox",
 
70
        syntax: "python",
 
71
        start_highlight: true
 
72
    });
 
73
}
 
74