public void changeDictionary(String strLanguage) {
// Change dictionary
MonitorDictionary.setCurrentLanguage(strLanguage);
DefaultDictionary.setCurrentLanguage(strLanguage);
ErrorDictionary.setCurrentLanguage(strLanguage);
// Update UI
updateLanguage();
WindowManager.updateLanguage();
int iIndex = mvtLanguage.indexOf(strLanguage);
if (iIndex >= 0) {
JRadioButtonMenuItem mnu = (JRadioButtonMenuItem) mvtLanguageItem.elementAt(iIndex);
mnu.setSelected(true);
}
// Store config
Hashtable prt = null;
try {
prt = Global.loadHashtable(Global.FILE_CONFIG);
} catch (Exception e) {
prt = new Hashtable();
}
prt.put("Language", strLanguage);
try {
Global.storeHashtable(prt, Global.FILE_CONFIG);
} catch (Exception e) {
}
}
protected JMenu buildSpeedMenu() {
JMenu speed = new JMenu("Drag");
JRadioButtonMenuItem live = new JRadioButtonMenuItem("Live");
JRadioButtonMenuItem outline = new JRadioButtonMenuItem("Outline");
JRadioButtonMenuItem slow = new JRadioButtonMenuItem("Old and Slow");
ButtonGroup group = new ButtonGroup();
group.add(live);
group.add(outline);
group.add(slow);
live.setSelected(true);
slow.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
// for right now I'm saying if you set the mode
// to something other than a specified mode
// it will revert to the old way
// This is mostly for comparison's sake
desktop.setDragMode(-1);
}
});
live.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
desktop.setDragMode(JDesktopPane.LIVE_DRAG_MODE);
}
});
outline.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
}
});
speed.add(live);
speed.add(outline);
speed.add(slow);
return speed;
}