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