includes/clientside/static/tinymce-init.js
changeset 1193 e3b94bd055dc
parent 1053 bdbb49cf6f1b
child 1227 bdac73ed481e
equal deleted inserted replaced
1192:5882f0eebb34 1193:e3b94bd055dc
    32 var _skin = ( typeof(tinymce_skin) == 'string' ) ? tinymce_skin : 'default';
    32 var _skin = ( typeof(tinymce_skin) == 'string' ) ? tinymce_skin : 'default';
    33 var tinymce_initted = false;
    33 var tinymce_initted = false;
    34 
    34 
    35 var enano_tinymce_options = {
    35 var enano_tinymce_options = {
    36   mode : "none",
    36   mode : "none",
    37   plugins : 'table,save,safari,pagebreak,style,layer,advhr,insertdatetime,searchreplace,spellchecker,print,contextmenu,paste,directionality,fullscreen,noneditable,visualchars,nonbreaking,xhtmlxtras' + do_popups,
    37   plugins : 'table,save,safari,pagebreak,style,layer,advhr,insertdatetime,searchreplace,spellchecker,print,contextmenu,paste,directionality,fullscreen,noneditable,visualchars,nonbreaking,xhtmlxtras,wordcount' + do_popups,
    38   theme : 'advanced',
    38   theme : 'advanced',
    39   skin : _skin,
    39   skin : _skin,
    40   theme_advanced_resize_horizontal : false,
    40   theme_advanced_resize_horizontal : false,
    41   theme_advanced_resizing : true,
    41   theme_advanced_resizing : true,
    42   theme_advanced_toolbar_location : "top",
    42   theme_advanced_toolbar_location : "top",
    60 
    60 
    61 // load the script
    61 // load the script
    62 
    62 
    63 if ( !KILL_SWITCH && !DISABLE_MCE )
    63 if ( !KILL_SWITCH && !DISABLE_MCE )
    64 {
    64 {
    65   var uri = scriptPath + '/includes/clientside/tinymce/tiny_mce_gzip.js?3211';
    65   var uri = scriptPath + '/includes/clientside/tinymce/tiny_mce_gzip.js?327';
    66   var sc = document.createElement('script');
    66   var sc = document.createElement('script');
    67   sc.src = uri;
    67   sc.src = uri;
    68   sc.type = 'text/javascript';
    68   sc.type = 'text/javascript';
    69   var head = document.getElementsByTagName('head')[0];
    69   var head = document.getElementsByTagName('head')[0];
    70   head.appendChild(sc);
    70   head.appendChild(sc);