Subversion Repositories wimsdev

Rev

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

Rev 12563 Rev 12706
Line 1... Line 1...
1 
!distribute word $wims_read_parm into edit_area_id, edit_area_syntax,syntax_selection_allow
 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 
  !set allow_toggle=true
 5 
  !set allow_toggle=true
6 
!endif
 6 
!endif
Line 9... Line 9...
9 
!default is_editable=true
 9 
!default is_editable=true
10 
!default allow_toggle=true
 10 
!default allow_toggle=true
11 
!default toolbar="search, go_to_line, fullscreen, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, reset_highlight, |, help"
 11 
!default toolbar="search, go_to_line, fullscreen, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, reset_highlight, |, help"
12 
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw,wimsdoc,python
 12 
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw,wimsdoc,python
13 
!if scripts/js/edit_area/edit_area_full.js notin $wims_html_header
 13 
!if scripts/js/edit_area/edit_area_full.js notin $wims_html_header
14 
  !set wims_html_header= !append line <script type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\
 14 
  !set wims_html_header= !append line <script src="scripts/js/edit_area/edit_area_full.js"></script>\
15 
 to $wims_html_header
 15 
 to $wims_html_header
16 
!endif
 16 
!endif
17 
!set wims_html_header=!append line <script type="text/javascript">\
 17 
!set wims_html_header=!append line <script>\
18 
                // initialisation\
 18 
  // initialisation\
19 
                editAreaLoader.init({\
 19 
  editAreaLoader.init({\
20 
                        id: "$edit_area_id"     \
 20 
    id: "$edit_area_id"\
21 
                        ,start_highlight: true\
 21 
    ,start_highlight: true\
22 
                        ,allow_toggle: $allow_toggle\
 22 
    ,allow_toggle: $allow_toggle\
23 
                        ,language: "$lang"\
 23 
    ,language: "$lang"\
24 
                        ,syntax: "$edit_area_syntax"\
 24 
    ,syntax: "$edit_area_syntax"\
25 
                        ,min_width: 150\
 25 
    ,min_width: 150\
26 
                        ,min_height:4\
 26 
    ,min_height:4\
27 
                        ,is_editable:$is_editable\
 27 
    ,is_editable:$is_editable\
28 
                        ,toolbar: $toolbar\
 28 
    ,toolbar: $toolbar\
29 
                        ,syntax_selection_allow: "$syntax_selection_allow"\
 29 
    ,syntax_selection_allow: "$syntax_selection_allow"\
30 
                        ,show_line_colors: true\
 30 
    ,show_line_colors: true\
31 
                });     \
 31 
  }); \
32 
        </script>\
 32 
</script>\
33 
to $wims_html_header
 33 
to $wims_html_header
34 
 
 34 
 
35 
!!!TODO add autocompletion: true
 35 
!!!TODO add autocompletion: true
36 
!!!,replace_tab_by_spaces:2\
 36 
!!!,replace_tab_by_spaces:2\