*/
protected void readStateFrom(File target) {
String fileName = target.getName();
- if (!fileName.endsWith("ext")) { //$NON-NLS-1$
- // It's the 2.0 format for preferences
- BookmarkContentProvider.getInstance().load(target);
- } else {
+// if (!fileName.endsWith("ext")) { //$NON-NLS-1$
+// // It's the 2.0 format for preferences
+// BookmarkContentProvider.getInstance().load(target);
+// } else {
//It's the 2.1 format for preferences and subsets
XmlDocument doc = new XmlDocument();
FileInputStream source = null;
Element root = doc.getDocumentElement();
BookmarkContentProvider.getInstance().importXML(root);
SubsetContentProvider.getInstance().importXML(root);
- }
+// }
}
public void startup() throws CoreException {