ISettingsPanel.java

package org.korsakow.ide.ui.settings;

public interface ISettingsPanel {
	void dispose();
}