Changeset 273 for trunk


Ignore:
Timestamp:
07/19/05 02:41:52 (14 years ago)
Author:
gogo
Message:

Apply #381

Location:
trunk/plugins/SpellChecker
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/plugins/SpellChecker/spell-check-logic.php

    r137 r273  
    137137       $return = 'failed to open!'; 
    138138     } 
     139}  
     140else  
     141{  
     142  $returnlines=0;  
    139143} 
    140144$infolines .= '"Language Used":"'.$lang.'",'; 
  • trunk/plugins/SpellChecker/spell-check-ui.js

    r136 r273  
    399399    } 
    400400        } 
     401         
     402  var dicts = doc.getElementById("HA-spellcheck-dictionaries"); 
     403  if (dicts) { 
     404    dicts.parentNode.removeChild(dicts); 
     405    dicts = dicts.innerHTML.split(/,/); 
     406    var select = document.getElementById("v_dictionaries"); 
     407    for (var i = select.length; --i >= 0;) { 
     408      select.remove(i); 
     409    } 
     410    var activeDictionary = document.getElementById("f_dictionary").value; 
     411    for (var i = 0; i < dicts.length; ++i) { 
     412      var txt = dicts[i]; 
     413      var option = document.createElement("option"); 
     414      if(txt == activeDictionary) { 
     415        option.selected = true; 
     416      } 
     417      option.value = txt; 
     418      option.appendChild(document.createTextNode(txt)); 
     419      select.appendChild(option); 
     420    } 
     421  } 
     422         
    401423  wrongWords = sps; 
    402424  if (sps.length == 0) { 
     
    420442      return false; 
    421443    }; 
    422   } 
    423   var dicts = doc.getElementById("HA-spellcheck-dictionaries"); 
    424   if (dicts) { 
    425     dicts.parentNode.removeChild(dicts); 
    426     dicts = dicts.innerHTML.split(/,/); 
    427     var select = document.getElementById("v_dictionaries"); 
    428     for (var i = select.length; --i >= 0;) { 
    429       select.remove(i); 
    430     } 
    431     var activeDictionary = document.getElementById("f_dictionary").value; 
    432     for (var i = 0; i < dicts.length; ++i) { 
    433       var txt = dicts[i]; 
    434       var option = document.createElement("option"); 
    435       if(txt == activeDictionary) { 
    436         option.selected = true; 
    437       } 
    438       option.value = txt; 
    439       option.appendChild(document.createTextNode(txt)); 
    440       select.appendChild(option); 
    441     } 
    442   } 
    443 }; 
     444  }   
     445}; 
Note: See TracChangeset for help on using the changeset viewer.