← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/common/edit_area/regexp.js

  • Committer: mattgiuca
  • Date: 2008-01-15 06:17:23 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:233
Added a shaky implementation of EditArea as the text editor.
Installed the EditArea files in media/common.
FileBrowser app includes EditArea.
editor.js calls the appropriate methods to set up an EditArea and the Save
button saves its contents.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/common/edit_area/regexp.js
 
1
        /*EditArea.prototype.comment_or_quotes= function(v0, v1, v2, v3, v4,v5,v6,v7,v8,v9, v10){
 
2
                new_class="quotes";
 
3
                if(v6 && v6 != undefined && v6!="")
 
4
                        new_class="comments";
 
5
                return "µ__"+ new_class +"__µ"+v0+"µ_END_µ";
 
6
 
 
7
        };*/
 
8
        
 
9
/*      EditArea.prototype.htmlTag= function(v0, v1, v2, v3, v4,v5,v6,v7,v8,v9, v10){
 
10
                res="<span class=htmlTag>"+v2;
 
11
                alert("v2: "+v2+" v3: "+v3);
 
12
                tab=v3.split("=");
 
13
                attributes="";
 
14
                if(tab.length>1){
 
15
                        attributes="<span class=attribute>"+tab[0]+"</span>=";
 
16
                        for(i=1; i<tab.length-1; i++){
 
17
                                cut=tab[i].lastIndexOf("&nbsp;");                               
 
18
                                attributes+="<span class=attributeVal>"+tab[i].substr(0,cut)+"</span>";
 
19
                                attributes+="<span class=attribute>"+tab[i].substr(cut)+"</span>=";
 
20
                        }
 
21
                        attributes+="<span class=attributeVal>"+tab[tab.length-1]+"</span>";
 
22
                }               
 
23
                res+=attributes+v5+"</span>";
 
24
                return res;             
 
25
        };*/
 
26
        
 
27
        // determine if the selected text if a comment or a quoted text
 
28
        EditArea.prototype.comment_or_quote= function(){
 
29
                var new_class="";
 
30
                var close_tag="";
 
31
                for(var i in parent.editAreaLoader.syntax[editArea.current_code_lang]["quotes"]){
 
32
                        if(EditArea.prototype.comment_or_quote.arguments[0].indexOf(i)==0){
 
33
                                new_class="quotesmarks";
 
34
                                close_tag=parent.editAreaLoader.syntax[editArea.current_code_lang]["quotes"][i];
 
35
                        }
 
36
                }
 
37
                if(new_class.length==0)
 
38
                {
 
39
                        for(var i in parent.editAreaLoader.syntax[editArea.current_code_lang]["comments"]){
 
40
                                if(EditArea.prototype.comment_or_quote.arguments[0].indexOf(i)==0){
 
41
                                        new_class="comments";
 
42
                                        close_tag=parent.editAreaLoader.syntax[editArea.current_code_lang]["comments"][i];
 
43
                                }
 
44
                        }
 
45
                }
 
46
                // for single line comment the \n must not be included in the span tags
 
47
                if(close_tag=="\n"){
 
48
                        return "µ__"+ new_class +"__µ"+EditArea.prototype.comment_or_quote.arguments[0].replace(/(\r?\n)?$/m, "µ_END_µ$1");
 
49
                }else{
 
50
                        // the closing tag must be set only if the comment or quotes is closed 
 
51
                        reg= new RegExp(parent.editAreaLoader.get_escaped_regexp(close_tag)+"$", "m");
 
52
                        if(EditArea.prototype.comment_or_quote.arguments[0].search(reg)!=-1)
 
53
                                return "µ__"+ new_class +"__µ"+EditArea.prototype.comment_or_quote.arguments[0]+"µ_END_µ";
 
54
                        else
 
55
                                return "µ__"+ new_class +"__µ"+EditArea.prototype.comment_or_quote.arguments[0];
 
56
                }
 
57
        };
 
58
        
 
59
/*
 
60
        // apply special tags arround text to highlight
 
61
        EditArea.prototype.custom_highlight= function(){
 
62
                res= EditArea.prototype.custom_highlight.arguments[1]+"µ__"+ editArea.reg_exp_span_tag +"__µ" + EditArea.prototype.custom_highlight.arguments[2]+"µ_END_µ";
 
63
                if(EditArea.prototype.custom_highlight.arguments.length>5)
 
64
                        res+= EditArea.prototype.custom_highlight.arguments[ EditArea.prototype.custom_highlight.arguments.length-3 ];
 
65
                return res;
 
66
        };
 
67
        */
 
68
        
 
69
        // return identication that allow to know if revalidating only the text line won't make the syntax go mad
 
70
        EditArea.prototype.get_syntax_trace= function(text){
 
71
                if(this.settings["syntax"].length>0 && parent.editAreaLoader.syntax[this.settings["syntax"]]["syntax_trace_regexp"])
 
72
                        return text.replace(parent.editAreaLoader.syntax[this.settings["syntax"]]["syntax_trace_regexp"], "$3");
 
73
        };
 
74
        
 
75
                
 
76
        EditArea.prototype.colorize_text= function(text){
 
77
                //text="<div id='result' class='area' style='position: relative; z-index: 4; height: 500px; overflow: scroll;border: solid black 1px;'> ";
 
78
          /*            
 
79
                if(this.nav['isOpera']){        
 
80
                        // opera can't use pre element tabulation cause a tab=6 chars in the textarea and 8 chars in the pre 
 
81
                        text= this.replace_tab(text);
 
82
                }*/
 
83
                
 
84
                text= " "+text; // for easier regExp
 
85
                
 
86
                /*if(this.do_html_tags)
 
87
                        text= text.replace(/(<[a-z]+ [^>]*>)/gi, '[__htmlTag__]$1[_END_]');*/
 
88
                if(this.settings["syntax"].length>0)
 
89
                        text= this.apply_syntax(text, this.settings["syntax"]);
 
90
                /*for(var lang in this.settin){
 
91
                        text=this.apply_syntax(text, lang);
 
92
                }*/
 
93
                
 
94
                text= text.substr(1);   // remove the first space added         
 
95
                text= text.replace(/&/g,"&amp;");
 
96
                text= text.replace(/</g,"&lt;");
 
97
                text= text.replace(/>/g,"&gt;");        // no need if there is no <             
 
98
                //text= text.replace(/ /g,"&nbsp;");
 
99
                text= text.replace(/µ_END_µ/g,"</span>");
 
100
                text= text.replace(/µ__([a-zA-Z0-9]+)__µ/g,"<span class='$1'>");
 
101
                
 
102
                
 
103
                //text= text.replace(//gi, "<span class='quote'>$1</span>");
 
104
                //alert("text: \n"+text);
 
105
                
 
106
                return text;
 
107
        };
 
108
        
 
109
        EditArea.prototype.apply_syntax= function(text, lang){
 
110
                this.current_code_lang=lang;
 
111
        
 
112
                if(!parent.editAreaLoader.syntax[lang])
 
113
                        return text;
 
114
        
 
115
                /*alert(typeof(text)+"\n"+text.length);
 
116
                
 
117
                var parse_index=0;
 
118
                for(var script_start in this.code[lang]["script_delimiters"]){
 
119
                        var pos_start= text.indexOf(script_start);
 
120
                        var pos_end= text.length;       // MUST BE SET TO CORRECT VAL!!!
 
121
                        if(pos_start!=-1){
 
122
                                var start_text=text.substr(0, pos_start);
 
123
                                var middle_text= text.substring(pos_start, pos_end);
 
124
                                var end_text= text.substring(pos_end);
 
125
                                if(this.code[lang]["comment_or_quote_reg_exp"]){
 
126
                                        //setTimeout("document.getElementById('debug_area').value=editArea.comment_or_quote_reg_exp;", 500);
 
127
                                        middle_text= middle_text.replace(this.code[lang]["comment_or_quote_reg_exp"], this.comment_or_quote);
 
128
                                }
 
129
                                
 
130
                                if(this.code[lang]["keywords_reg_exp"]){
 
131
                                        for(var i in this.code[lang]["keywords_reg_exp"]){      
 
132
                                                this.reg_exp_span_tag=i;
 
133
                                                middle_text= middle_text.replace(this.code[lang]["keywords_reg_exp"][i], this.custom_highlight);                        
 
134
                                        }                       
 
135
                                }
 
136
                                
 
137
                                if(this.code[lang]["delimiters_reg_exp"]){
 
138
                                        middle_text= middle_text.replace(this.code[lang]["delimiters_reg_exp"], 'µ__delimiters__µ$1µ_END_µ');
 
139
                                }               
 
140
                                
 
141
                                if(this.code[lang]["operators_reg_exp"]){
 
142
                                        middle_text= middle_text.replace(this.code[lang]["operators_reg_exp"], 'µ__operators__µ$1µ_END_µ');
 
143
                                }
 
144
                        }
 
145
                        text= start_text+ middle_text + end_text;
 
146
                }*/
 
147
                if(parent.editAreaLoader.syntax[lang]["custom_regexp"]['before']){
 
148
                        for( var i in parent.editAreaLoader.syntax[lang]["custom_regexp"]['before']){
 
149
                                var convert="$1µ__"+ parent.editAreaLoader.syntax[lang]["custom_regexp"]['before'][i]['class'] +"__µ$2µ_END_µ$3";
 
150
                                text= text.replace(parent.editAreaLoader.syntax[lang]["custom_regexp"]['before'][i]['regexp'], convert);
 
151
                        }
 
152
                }
 
153
                
 
154
                if(parent.editAreaLoader.syntax[lang]["comment_or_quote_reg_exp"]){
 
155
                        //setTimeout("document.getElementById('debug_area').value=editArea.comment_or_quote_reg_exp;", 500);
 
156
                        text= text.replace(parent.editAreaLoader.syntax[lang]["comment_or_quote_reg_exp"], this.comment_or_quote);
 
157
                }
 
158
                
 
159
                if(parent.editAreaLoader.syntax[lang]["keywords_reg_exp"]){
 
160
                        for(var i in parent.editAreaLoader.syntax[lang]["keywords_reg_exp"]){   
 
161
                                /*this.reg_exp_span_tag=i;
 
162
                                text= text.replace(parent.editAreaLoader.syntax[lang]["keywords_reg_exp"][i], this.custom_highlight);                   
 
163
                                */
 
164
                                text= text.replace(parent.editAreaLoader.syntax[lang]["keywords_reg_exp"][i], 'µ__'+i+'__µ$2µ_END_µ');
 
165
                        }                       
 
166
                }
 
167
                
 
168
                if(parent.editAreaLoader.syntax[lang]["delimiters_reg_exp"]){
 
169
                        text= text.replace(parent.editAreaLoader.syntax[lang]["delimiters_reg_exp"], 'µ__delimiters__µ$1µ_END_µ');
 
170
                }               
 
171
                
 
172
                if(parent.editAreaLoader.syntax[lang]["operators_reg_exp"]){
 
173
                        text= text.replace(parent.editAreaLoader.syntax[lang]["operators_reg_exp"], 'µ__operators__µ$1µ_END_µ');
 
174
                }
 
175
                
 
176
                if(parent.editAreaLoader.syntax[lang]["custom_regexp"]['after']){
 
177
                        for( var i in parent.editAreaLoader.syntax[lang]["custom_regexp"]['after']){
 
178
                                var convert="$1µ__"+ parent.editAreaLoader.syntax[lang]["custom_regexp"]['after'][i]['class'] +"__µ$2µ_END_µ$3";
 
179
                                text= text.replace(parent.editAreaLoader.syntax[lang]["custom_regexp"]['after'][i]['regexp'], convert);                 
 
180
                        }
 
181
                }
 
182
                        
 
183
                return text;
 
184
        };