/*
* PluginManagerOptionPane.java - Plugin options panel
* :tabSize=4:indentSize=4:noTabs=false:
* :folding=explicit:collapseFolds=1:
*
* Copyright (C) 2003 Kris Kopicki
*
* 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 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.
*/
package org.gjt.sp.jedit.options;
import javax.swing.*;
import javax.swing.border.*;
import java.awt.*;
import java.awt.event.*;
import java.util.*;
import java.util.List;
import java.io.*;
import org.gjt.sp.jedit.*;
import org.gjt.sp.jedit.pluginmgr.*;
import org.gjt.sp.util.*;
/**
* The plugin manager option pane.
*
* @version $Id: PluginManagerOptionPane.java 22357 2012-10-13 04:58:01Z ezust $
*/
public class PluginManagerOptionPane extends AbstractOptionPane
{
//{{{ Constructor
public PluginManagerOptionPane()
{
super("plugin-manager");
} //}}}
//{{{ _init() method
@Override
protected void _init()
{
setLayout(new BorderLayout());
mirrorLabel = new JLabel();
updateMirrorLabel();
JPanel buttonPanel = new JPanel();
buttonPanel.setLayout(new BoxLayout(buttonPanel,BoxLayout.Y_AXIS));
JPanel spinnerPanel = null;
if(jEdit.getSettingsDirectory() != null)
{
settingsDir = new JRadioButton(jEdit.getProperty(
"options.plugin-manager.settings-dir"));
settingsDir.setToolTipText(MiscUtilities.constructPath(
jEdit.getSettingsDirectory(),"jars"));
int delay = jEdit.getIntegerProperty("plugin-manager.list-cache.minutes", 10);
spinnerModel = new SpinnerNumberModel(delay, 0, 240, 5);
cacheForSpinner = new JSpinner(spinnerModel);
spinnerPanel = new JPanel();
spinnerPanel.setLayout(new BoxLayout(spinnerPanel, BoxLayout.X_AXIS));
spinnerPanel.add(new JLabel(jEdit.getProperty("options.plugin-manager.list-cache.minutes")));
spinnerPanel.add(cacheForSpinner);
spinnerPanel.add(Box.createGlue());
}
JRadioButton appDir = new JRadioButton(jEdit.getProperty(
"options.plugin-manager.app-dir"));
appDir.setToolTipText(MiscUtilities.constructPath(
jEdit.getJEditHome(),"jars"));
miraList = new JList(miraModel = new MirrorModel());
miraList.setSelectionModel(new SingleSelectionModel());
/* Download mirror */
add(BorderLayout.NORTH,mirrorLabel);
add(BorderLayout.CENTER,new JScrollPane(miraList));
buttonPanel.add(Box.createVerticalStrut(6));
/* Update mirror list */
updateMirrors = new JButton(jEdit.getProperty(
"options.plugin-manager.updateMirrors"));
updateMirrors.addActionListener(new ActionHandler());
updateMirrors.setEnabled(false);
ThreadUtilities.runInBackground(new UpdateMirrorsThread(false));
JPanel panel = new JPanel(new FlowLayout(FlowLayout.LEFT));
panel.add(updateMirrors);
if (spinnerPanel != null) panel.add(spinnerPanel);
panel.add(updateStatus);
panel.setAlignmentX(Component.LEFT_ALIGNMENT);
buttonPanel.add(panel);
buttonPanel.add(Box.createVerticalStrut(6));
/* Download source */
downloadSource = new JCheckBox(jEdit.getProperty(
"options.plugin-manager.downloadSource"));
downloadSource.setSelected(jEdit.getBooleanProperty("plugin-manager.downloadSource"));
downloadSource.setAlignmentX(Component.LEFT_ALIGNMENT);
buttonPanel.add(downloadSource);
/* Delete downloaded files */
deleteDownloads = new JCheckBox(jEdit.getProperty(
"options.plugin-manager.deleteDownloads"));
deleteDownloads.setSelected(jEdit.getBooleanProperty("plugin-manager.deleteDownloads"));
deleteDownloads.setAlignmentX(Component.LEFT_ALIGNMENT);
buttonPanel.add(deleteDownloads);
/* Disable obsolete plugins */
disableObsolete = new JCheckBox(jEdit.getProperty(
"options.plugin-manager.disable-obsolete"));
disableObsolete.setSelected(jEdit.getBooleanProperty("plugin-manager.disable-obsolete", true));
disableObsolete.setAlignmentX(Component.LEFT_ALIGNMENT);
buttonPanel.add(disableObsolete);
buttonPanel.add(Box.createVerticalStrut(6));
/* Install location */
ButtonGroup locGrp = new ButtonGroup();
if(jEdit.getSettingsDirectory() != null)
locGrp.add(settingsDir);
locGrp.add(appDir);
JPanel locPanel = new JPanel();
locPanel.setLayout(new BoxLayout(locPanel,BoxLayout.Y_AXIS));
if(jEdit.getSettingsDirectory() != null)
{
locPanel.add(settingsDir);
locPanel.add(Box.createVerticalStrut(3));
}
locPanel.setBorder(new TitledBorder(
jEdit.getProperty("options.plugin-manager.location")));
locPanel.add(appDir);
locPanel.setAlignmentX(Component.LEFT_ALIGNMENT);
buttonPanel.add(locPanel);
buttonPanel.add(Box.createGlue());
add(BorderLayout.SOUTH,buttonPanel);
if (jEdit.getBooleanProperty("plugin-manager.installUser")
&& jEdit.getSettingsDirectory() != null)
settingsDir.setSelected(true);
else
appDir.setSelected(true);
} //}}}
//{{{ _save() method
protected void _save()
{
jEdit.setBooleanProperty("plugin-manager.installUser",
settingsDir != null && settingsDir.isSelected());
jEdit.setBooleanProperty("plugin-manager.downloadSource",downloadSource.isSelected());
jEdit.setBooleanProperty("plugin-manager.deleteDownloads",deleteDownloads.isSelected());
jEdit.setIntegerProperty("plugin-manager.list-cache.minutes", spinnerModel.getNumber().intValue());
jEdit.setBooleanProperty("plugin-manager.disable-obsolete", disableObsolete.isSelected());
if(miraList.getSelectedIndex() != -1)
{
String currentMirror = miraModel.getID(miraList.getSelectedIndex());
String previousMirror = jEdit.getProperty("plugin-manager.mirror.id");
if (!previousMirror.equals(currentMirror))
{
jEdit.setProperty("plugin-manager.mirror.id",currentMirror);
jEdit.setProperty("plugin-manager.mirror.name",(String) miraModel.getElementAt(miraList.getSelectedIndex()));
updateMirrorLabel();
// Insert code to update the plugin managers list here later
}
}
} //}}}
//{{{ Private members
//{{{ Instance variables
private JLabel mirrorLabel;
private JCheckBox disableObsolete;
private JRadioButton settingsDir;
private JCheckBox downloadSource;
private JCheckBox deleteDownloads;
private JSpinner cacheForSpinner;
private SpinnerNumberModel spinnerModel;
private MirrorModel miraModel;
private JList miraList;
/** The button to update mirror list. */
private JButton updateMirrors;
/** A label telling if the mirror list is being updated. */
private final JLabel updateStatus = new JLabel();
//}}}
//{{{ updateMirrorLabel method
private void updateMirrorLabel()
{
String currentMirror = jEdit.getProperty("plugin-manager.mirror.id");
String mirrorName;
if (currentMirror.equals(MirrorList.Mirror.NONE))
{
mirrorName = "Plugin Central default";
}
else
{
mirrorName = jEdit.getProperty("plugin-manager.mirror.name");
if (mirrorName == null) mirrorName = currentMirror;
}
mirrorLabel.setText(jEdit.getProperty(
"options.plugin-manager.mirror") + ' ' + mirrorName);
} //}}}
//}}}
//{{{ MirrorModel class
static class MirrorModel extends AbstractListModel
{
private List<MirrorList.Mirror> mirrors;
MirrorModel()
{
mirrors = new ArrayList<MirrorList.Mirror>();
}
public String getID(int index)
{
return mirrors.get(index).id;
}
public int getSize()
{
return mirrors.size();
}
public Object getElementAt(int index)
{
MirrorList.Mirror mirror = mirrors.get(index);
if(mirror.id.equals(MirrorList.Mirror.NONE))
return jEdit.getProperty("options.plugin-manager.none");
else
return mirror.continent+": "+mirror.description+" ("+mirror.location+')';
}
public void setList(List<MirrorList.Mirror> mirrors)
{
this.mirrors = mirrors;
fireContentsChanged(this,0,mirrors.size() - 1);
}
} //}}}
//{{{ SingleSelectionModel class
static class SingleSelectionModel extends DefaultListSelectionModel
{
SingleSelectionModel()
{
setSelectionMode(SINGLE_SELECTION);
}
@Override
public void removeSelectionInterval(int index0, int index1) {}
} //}}}
//{{{ ActionHandler class
class ActionHandler implements ActionListener
{
public void actionPerformed(ActionEvent evt)
{
updateMirrors.setEnabled(false);
updateStatus.setText(jEdit.getProperty("options.plugin-manager.workthread"));
ThreadUtilities.runInBackground(new UpdateMirrorsThread(true));
}
} //}}}
//{{{ UpdateMirrorsThread class
/**
* The thread that will update the mirror list.
* It will read them from the cache or from the web.
* It has 4 states :
* 0 : started
* 1 : xml downloaded
* 2 : xml parsed
* 3 : list updated
*/
class UpdateMirrorsThread extends Task
{
private final boolean download;
UpdateMirrorsThread(boolean download)
{
this.download = download;
}
//{{{ run() method
@Override
public void _run()
{
try
{
setStatus(jEdit.getProperty("options.plugin-manager.workthread"));
setMaximum(3L);
setValue(0L);
final List<MirrorList.Mirror> mirrors = new ArrayList<MirrorList.Mirror>();
try
{
MirrorList mirrorList = new MirrorList(download, this);
if (download)
saveMirrorList(mirrorList.getXml());
mirrors.addAll(mirrorList.getMirrors());
}
catch (final Exception ex)
{
if (download)
{
Log.log(Log.ERROR,this,ex);
ThreadUtilities.runInDispatchThread(new Runnable()
{
public void run()
{
GUIUtilities.error(PluginManagerOptionPane.this,
"ioerror",new String[] { ex.toString() });
}
});
}
}
ThreadUtilities.runInDispatchThread(new Runnable()
{
public void run()
{
miraModel.setList(mirrors);
String id = jEdit.getProperty("plugin-manager.mirror.id");
int size = miraModel.getSize();
for (int i=0; i < size; i++)
{
if (size == 1 || miraModel.getID(i).equals(id))
{
miraList.setSelectedIndex(i);
break;
}
}
if (size == 0)
{
miraList.clearSelection();
}
}
});
setValue(3L);
}
finally
{
ThreadUtilities.runInDispatchThread(new Runnable()
{
public void run()
{
updateMirrors.setEnabled(true);
updateStatus.setText(null);
}
});
}
} //}}}
//{{{ saveMirrorList() method
private void saveMirrorList(String xml)
{
String settingsDirectory = jEdit.getSettingsDirectory();
if(settingsDirectory == null)
return;
File mirrorList = new File(MiscUtilities.constructPath(
settingsDirectory,"mirrorList.xml"));
OutputStream out = null;
try
{
out = new BufferedOutputStream(new FileOutputStream(mirrorList));
IOUtilities.copyStream(null, new ByteArrayInputStream(xml.getBytes()), out, false);
}
catch (IOException e)
{
Log.log(Log.ERROR,this, "Unable to write cached mirror list : " + mirrorList);
}
finally
{
IOUtilities.closeQuietly((Closeable)out);
}
} //}}}
} //}}}
}