Subversion Repositories wimsdev

Rev

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

Rev 5265 Rev 5910
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
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
13
!if scripts/js/edit_area/edit_area_full.js notin $wims_html_header
14
 !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 type="text/javascript" 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 language="Javascript" type="text/javascript">\
17
!set wims_html_header=!append line <script type="text/javascript">\
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\