Subversion Repositories wimsdev

Rev

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

Rev 4888 Rev 5265
Line 4... Line 4...
4
  !set toolbar=""
4
  !set toolbar=""
-
 
5
  !set allow_toggle=false
5
!endif
6
!endif
6
 
7
 
7
!default edit_area_syntax=wimsoef
8
!default edit_area_syntax=wimsoef
8
!default is_editable=true
9
!default is_editable=true
9
!default allow_toggle=true
10
!default allow_toggle=true
10
!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"
11
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw
12
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw
-
 
13
!if scripts/js/edit_area/edit_area_full.js notin $wims_html_header
12
 !set wims_html_header= !append line <script language="Javascript" type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\
14
 !set wims_html_header= !append line <script language="Javascript" type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\
-
 
15
 to $wims_html_header
-
 
16
!endif
13
        <script language="Javascript" type="text/javascript">\
17
!set wims_html_header=!append line <script language="Javascript" type="text/javascript">\
14
                // initialisation\
18
                // initialisation\
15
                editAreaLoader.init({\
19
                editAreaLoader.init({\
16
                        id: "$edit_area_id"     \
20
                        id: "$edit_area_id"     \
17
                        ,start_highlight: true\
21
                        ,start_highlight: true\
18
                        ,allow_toggle: $allow_toggle\
22
                        ,allow_toggle: $allow_toggle\