Subversion Repositories wimsdev

Rev

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

Rev 8978 Rev 11429
Line -... Line 1...
- 
 
 1 
 
1 
!distribute word $wims_read_parm into edit_area_id, edit_area_syntax,syntax_selection_allow
 2 
!distribute word $wims_read_parm into edit_area_id, edit_area_syntax,syntax_selection_allow
2 
!if wims_show isin $edit_area_id
 3 
!if wims_show isin $edit_area_id
3 
  !set is_editable=false
 4 
  !set is_editable=false
4 
  !set toolbar=""
 5 
  !set toolbar=""
5 
  !set allow_toggle=true
 6 
  !set allow_toggle=true
Line 7... Line 8...
7 
 
 8 
 
8 
!default edit_area_syntax=wimsoef
 9 
!default edit_area_syntax=wimsoef
9 
!default is_editable=true
 10 
!default is_editable=true
10 
!default allow_toggle=true
 11 
!default allow_toggle=true
11 
!default toolbar="search, go_to_line, fullscreen, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, reset_highlight, |, help"
 12 
!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
 13 
!default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw,wimsdoc
13 
!if scripts/js/edit_area/edit_area_full.js notin $wims_html_header
 14 
!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>\
 15 
 !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
 16 
 to $wims_html_header
16 
!endif
 17 
!endif
17 
!set wims_html_header=!append line <script type="text/javascript">\
 18 
!set wims_html_header=!append line <script type="text/javascript">\