Subversion Repositories wimsdev

Rev

Rev 4876 | Rev 4888 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4876 Rev 4880
Line 1... Line 1...
1 
!distribute word $wims_read_parm into edit_area_id, edit_area_syntax
 1 
!distribute word $wims_read_parm into edit_area_id, edit_area_syntax,syntax_selection_allow
2 
!if wims_show isin $edit_area_id
 2 
!if wims_show isin $edit_area_id
3 
  !set is_editable=false
 3 
  !set is_editable=false
4 
  !set toolbar=""
 4 
  !set toolbar=""
5 
!endif
 5 
!endif
6 
 
 6 
 
7 
!default edit_area_syntax=wimsoef
 7 
!default edit_area_syntax=wimsoef
8 
!default is_editable=true
 8 
!default is_editable=true
9 
!default allow_toggle=true
 9 
!default allow_toggle=true
10 
!default toolbar="search, go_to_line, fullscreen, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, reset_highlight, |, help"
 10 
!default toolbar="search, go_to_line, fullscreen, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, reset_highlight, |, help"
11 
 
 - 
 
- 
 
 11 
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw
12 
 !set wims_html_header= !append line <script language="Javascript" type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\
 12 
 !set wims_html_header= !append line <script language="Javascript" type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\
13 
        <script language="Javascript" type="text/javascript">\
 13 
        <script language="Javascript" type="text/javascript">\
14 
                // initialisation\
 14 
                // initialisation\
15 
                editAreaLoader.init({\
 15 
                editAreaLoader.init({\
16 
                        id: "$edit_area_id"     \
 16 
                        id: "$edit_area_id"     \
Line 20... Line 20...
20 
                        ,syntax: "$edit_area_syntax"\
 20 
                        ,syntax: "$edit_area_syntax"\
21 
                        ,min_height: 300\
 21 
                        ,min_height: 300\
22 
                        ,min_width: 300\
 22 
                        ,min_width: 300\
23 
                        ,is_editable:$is_editable\
 23 
                        ,is_editable:$is_editable\
24 
                        ,toolbar: $toolbar\
 24 
                        ,toolbar: $toolbar\
25 
                        ,syntax_selection_allow: "wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw"\
 25 
                        ,syntax_selection_allow: "$syntax_selection_allow"\
26 
                        ,show_line_colors: true\
 26 
                        ,show_line_colors: true\
27 
                        ,replace_tab_by_spaces:2\
 27 
                        ,replace_tab_by_spaces:2\
28 
                });     \
 28 
                });     \
29 
        </script>\
 29 
        </script>\
30 
to $wims_html_header
 30 
to $wims_html_header