Subversion Repositories wimsdev

Rev

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

Rev 11429 Rev 12563
Line 1... Line -...
1 
 
 - 
 
2 
!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
3 
!if wims_show isin $edit_area_id
 2 
!if wims_show isin $edit_area_id
4 
  !set is_editable=false
 3 
  !set is_editable=false
5 
  !set toolbar=""
 4 
  !set toolbar=""
6 
  !set allow_toggle=true
 5 
  !set allow_toggle=true
Line 8... Line 7...
8 
 
 7 
 
9 
!default edit_area_syntax=wimsoef
 8 
!default edit_area_syntax=wimsoef
10 
!default is_editable=true
 9 
!default is_editable=true
11 
!default allow_toggle=true
 10 
!default allow_toggle=true
12 
!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"
13 
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw,wimsdoc
 12 
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw,wimsdoc,python
14 
!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
15 
 !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 type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\
16 
 to $wims_html_header
 15 
 to $wims_html_header
17 
!endif
 16 
!endif
18 
!set wims_html_header=!append line <script type="text/javascript">\
 17 
!set wims_html_header=!append line <script type="text/javascript">\
19 
                // initialisation\
 18 
                // initialisation\
20 
                editAreaLoader.init({\
 19 
                editAreaLoader.init({\