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({\