globalAbbrevs.put(abbrev,expand);
globalAbbrevs.put(abbrev,new Expansion(expand));  abbrevsChanged = true;
	private static void addAbbrev(View view, String abbrev)	{		String[] args = { abbrev };		JTextField textField = new JTextField();		Object[] message = {			jEdit.getProperty("add-abbrev.message",args),			textField };		Object[] options = { jEdit.getProperty("add-abbrev.global"),			jEdit.getProperty("add-abbrev.mode"),			jEdit.getProperty("common.cancel") };		int retVal = JOptionPane.showOptionDialog(view,message,			jEdit.getProperty("add-abbrev.title"),			JOptionPane.YES_NO_OPTION,			JOptionPane.QUESTION_MESSAGE,			null,options,options[0]);		String expand = textField.getText();		if(expand == null || (retVal != 0 && retVal != 1))			return;		if(retVal == 1)		{			String mode = view.getBuffer().getMode().getName();			Hashtable modeAbbrevs = (Hashtable)modes.get(mode);			if(modeAbbrevs == null)			{				modeAbbrevs = new Hashtable();				modes.put(mode,modeAbbrevs);			}			modeAbbrevs.put(abbrev,expand);		}		else			globalAbbrevs.put(abbrev,expand);		expandAbbrev(view,false);	}