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\