/*
* JOrtho
*
* Copyright (C) 2005-2008 by i-net software
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License as
* published by the Free Software Foundation; either version 2 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
* USA.
*
* Created on 10.11.2005
*/
package com.inet.jortho;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.event.KeyEvent;
import java.util.*;
import java.util.List;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
/**
* The Dialog for continues checking the orthography.
* @author Volker Berlin
*/
class SpellCheckerDialog extends JDialog implements ActionListener {
private JTextComponent jText;
private Dictionary dictionary;
private Tokenizer tok;
private boolean isDictionaryModify;
private final SpellCheckerOptions options;
final private JLabel notFound = new JLabel();
final private JTextField word = new JTextField();
final private JList suggestionsList = new JList();
final private JButton ignore = new JButton(Utils.getResource("ignore"));
final private JButton ignoreAll = new JButton(Utils.getResource("ignoreAll"));
final private JButton addToDic = new JButton(Utils.getResource("addToDictionary"));
final private JButton editDic = new JButton(Utils.getResource("editDictionary"));
final private JButton change = new JButton(Utils.getResource("change"));
final private JButton changeAll = new JButton(Utils.getResource("changeAll"));
final private JButton close = new JButton(Utils.getResource("close"));
/** List of ignore all words */
final private ArrayList<String> ignoreWords = new ArrayList<String>();
/** Map of change all words */
final private HashMap<String,String> changeWords = new HashMap<String,String>();
SpellCheckerDialog(Dialog owner) throws HeadlessException {
this(owner, false, null);
}
SpellCheckerDialog(Dialog owner, boolean modal, SpellCheckerOptions options){
super(owner, modal);
this.options = options == null ? SpellChecker.getOptions() : options;
init();
}
SpellCheckerDialog(Frame owner){
this(owner, false, null);
}
SpellCheckerDialog(Frame owner, boolean modal, SpellCheckerOptions options){
super(owner, modal);
this.options = options == null ? SpellChecker.getOptions() : options;
init();
}
final private void init(){
setDefaultCloseOperation( WindowConstants.DISPOSE_ON_CLOSE );
Container cont = getContentPane();
cont.setLayout(new GridBagLayout());
Insets insetL = new Insets(8,8,0,8);
Insets insetR = new Insets(8,0,0,8);
cont.add( new JLabel(Utils.getResource("notInDictionary")+":"), new GridBagConstraints( 1, 1, 1, 1, 0.0, 0.0, GridBagConstraints.SOUTHWEST ,GridBagConstraints.NONE, insetL, 0, 0));
notFound.setForeground(Color.RED);
notFound.setText("xxxxxxxxxx");
cont.add( notFound, new GridBagConstraints( 2, 1, 1, 1, 0.0, 0.0, GridBagConstraints.SOUTHWEST ,GridBagConstraints.NONE, insetL, 0, 0));
cont.add( word, new GridBagConstraints( 1, 2, 2, 1, 1.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetL, 0, 0));
cont.add( new JLabel(Utils.getResource("suggestions")+":"), new GridBagConstraints( 1, 3, 2, 1, 0.0, 0.0, GridBagConstraints.SOUTHWEST ,GridBagConstraints.NONE, insetL, 0, 0));
JScrollPane scrollPane = new JScrollPane(suggestionsList);
cont.add( scrollPane, new GridBagConstraints( 1, 4, 2, 5, 1.0, 1.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.BOTH, new Insets(8,8,8,8), 0, 0));
cont.add( ignore, new GridBagConstraints( 3, 1, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( ignoreAll, new GridBagConstraints( 3, 2, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( addToDic, new GridBagConstraints( 3, 3, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( editDic, new GridBagConstraints( 3, 4, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( change, new GridBagConstraints( 3, 5, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( changeAll, new GridBagConstraints( 3, 6, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( close, new GridBagConstraints( 3, 7, 1, 1, 0.0, 0.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
cont.add( new JLabel(), new GridBagConstraints( 3, 8, 1, 1, 0.0, 1.0, GridBagConstraints.NORTHWEST ,GridBagConstraints.HORIZONTAL, insetR, 0, 0));
ignore.addActionListener(this);
ignoreAll.addActionListener(this);
addToDic.addActionListener(this);
editDic.addActionListener(this);
change.addActionListener(this);
changeAll.addActionListener(this);
close.addActionListener(this);
//ESCAPE Taste
close.getInputMap( JComponent.WHEN_IN_FOCUSED_WINDOW ).put( KeyStroke.getKeyStroke( KeyEvent.VK_ESCAPE, 0, false ), "ESCAPE" );
close.getActionMap().put( "ESCAPE", new AbstractAction() {
public void actionPerformed( ActionEvent e ) {
dispose();
}
} );
word.getDocument().addDocumentListener(new DocumentListener(){
public void changedUpdate(DocumentEvent ev){
// disable "Add To Dictionary" if word was changed, not this word would added else the original misspelled word
addToDic.setEnabled( false );
}
public void insertUpdate(DocumentEvent ev){
// disable "Add To Dictionary" if word was changed, not this word would added else the original misspelled word
addToDic.setEnabled( false );
}
public void removeUpdate(DocumentEvent ev){
// disable "Add To Dictionary" if word was changed, not this word would added else the original misspelled word
addToDic.setEnabled( false );
}
});
suggestionsList.addListSelectionListener(new ListSelectionListener(){
public void valueChanged(ListSelectionEvent ev){
// Update the word field if a suggestion is click
if( !ev.getValueIsAdjusting() && suggestionsList.getSelectedIndex() >= 0 ){
word.setText( (String)suggestionsList.getSelectedValue() );
addToDic.setEnabled( true );
}
}
});
boolean isUserDictionary = SpellChecker.getUserDictionaryProvider() != null;
addToDic.setEnabled( isUserDictionary );
editDic.setEnabled( isUserDictionary );
pack();
}
public void show( JTextComponent jTextComponent, Dictionary dic, Locale loc ) {
this.jText = jTextComponent;
this.dictionary = dic;
change.requestFocus();
setTitle( Utils.getResource("spelling") + ": " + loc.getDisplayLanguage() );
tok = new Tokenizer( jTextComponent, dic, loc, options );
if( searchNext() ){
setLocationRelativeTo( jTextComponent );
setVisible( true );
}
}
/**
* Search the next misspelling word. If found it then refresh the dialog with the new information.
* ignoreWords and changeWords will handle automatically.
* @return true, if found a spell error.
*/
private boolean searchNext() {
String wordStr;
while( true ) {
wordStr = tok.nextInvalidWord();
if( wordStr == null ) {
dispose();
String title = SpellChecker.getApplicationName();
if(title == null){
title = this.getTitle();
}
JOptionPane.showMessageDialog( getParent(), Utils.getResource( "msgFinish" ), title, JOptionPane.INFORMATION_MESSAGE );
return false;
}
if( ignoreWords.contains( wordStr ) ) {
continue;
}
String changeTo = changeWords.get( wordStr );
if( changeTo != null ) {
replaceWord( wordStr, changeTo );
continue;
}
break;
}
word.setText( wordStr );
notFound.setText( wordStr );
List<Suggestion> list = dictionary.searchSuggestions( wordStr );
boolean needCapitalization = tok.isFirstWordInSentence() && Utils.isCapitalized( wordStr );
Vector<String> suggestionsVector = new Vector<String>();
for( int i = 0; i < list.size() && i < options.getSuggestionsLimitDialog(); i++ ) {
Suggestion sugestion = list.get( i );
String newWord = sugestion.getWord();
if( needCapitalization ) {
newWord = Utils.getCapitalized( newWord );
}
if( i == 0 )
word.setText( newWord );
suggestionsVector.add( newWord );
}
suggestionsList.setListData( suggestionsVector );
addToDic.setEnabled( true );
return true;
}
public void actionPerformed( ActionEvent ev ) {
Object source = ev.getSource();
if( source == ignore ) {
searchNext();
} else if( source == close ) {
dispose();
} else{
String newWord = word.getText();
String oldWord = notFound.getText();
if( source == ignoreAll ) {
ignoreWords.add( oldWord );
searchNext();
} else if( source == addToDic ) {
UserDictionaryProvider provider = SpellChecker.getUserDictionaryProvider();
if( provider != null ) {
provider.addWord( oldWord );
}
dictionary.add( oldWord );
dictionary.trimToSize();
isDictionaryModify = true;
searchNext();
} else if( source == editDic ) {
new DictionaryEditDialog( this ).setVisible( true );
} else if( source == change ) {
replaceWord( oldWord, newWord );
searchNext();
} else if( source == changeAll ) {
changeWords.put( oldWord, newWord );
replaceWord( oldWord, newWord );
searchNext();
}
}
}
private void replaceWord( String oldWord, String newWord ) {
jText.setSelectionStart( tok.getWordOffset() );
jText.setSelectionEnd( tok.getWordOffset() + oldWord.length() );
jText.replaceSelection( newWord );
tok.updatePhrase();
}
@Override
public void dispose(){
super.dispose();
if( isDictionaryModify ){
AutoSpellChecker.refresh( jText );
}
}
}