Rev 8978 | Rev 12563 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
11429 | bpr | 1 | |
4880 | bpr | 2 | !distribute word $wims_read_parm into edit_area_id, edit_area_syntax,syntax_selection_allow |
4870 | bpr | 3 | !if wims_show isin $edit_area_id |
4 | !set is_editable=false |
||
5 | !set toolbar="" |
||
8978 | bpr | 6 | !set allow_toggle=true |
4870 | bpr | 7 | !endif |
8 | |||
9 | !default edit_area_syntax=wimsoef |
||
10 | !default is_editable=true |
||
11 | !default allow_toggle=true |
||
12 | !default toolbar="search, go_to_line, fullscreen, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, reset_highlight, |, help" |
||
11429 | bpr | 13 | !default syntax_selection_allow=wimsoef,wimsdata,wims,css,html,js,gp,octave,flydraw,wimsdoc |
5265 | bpr | 14 | !if scripts/js/edit_area/edit_area_full.js notin $wims_html_header |
5910 | bpr | 15 | !set wims_html_header= !append line <script type="text/javascript" src="scripts/js/edit_area/edit_area_full.js"></script>\ |
5265 | bpr | 16 | to $wims_html_header |
17 | !endif |
||
5910 | bpr | 18 | !set wims_html_header=!append line <script type="text/javascript">\ |
4870 | bpr | 19 | // initialisation\ |
20 | editAreaLoader.init({\ |
||
21 | id: "$edit_area_id" \ |
||
22 | ,start_highlight: true\ |
||
23 | ,allow_toggle: $allow_toggle\ |
||
24 | ,language: "$lang"\ |
||
25 | ,syntax: "$edit_area_syntax"\ |
||
8978 | bpr | 26 | ,min_width: 150\ |
27 | ,min_height:4\ |
||
4870 | bpr | 28 | ,is_editable:$is_editable\ |
29 | ,toolbar: $toolbar\ |
||
4880 | bpr | 30 | ,syntax_selection_allow: "$syntax_selection_allow"\ |
4870 | bpr | 31 | ,show_line_colors: true\ |
32 | }); \ |
||
33 | </script>\ |
||
34 | to $wims_html_header |
||
35 | |||
4888 | bpr | 36 | !!!TODO add autocompletion: true |
8867 | bpr | 37 | !!!,replace_tab_by_spaces:2\ |