|
Lines 11-21
Link Here
|
| 11 |
*******************************************************************************/ |
11 |
*******************************************************************************/ |
| 12 |
package org.eclipse.ui.internal; |
12 |
package org.eclipse.ui.internal; |
| 13 |
|
13 |
|
|
|
14 |
|
| 15 |
|
| 14 |
import java.io.IOException; |
16 |
import java.io.IOException; |
| 15 |
import java.io.Reader; |
17 |
import java.io.Reader; |
| 16 |
import java.io.StringReader; |
18 |
import java.io.StringReader; |
| 17 |
import java.util.HashMap; |
19 |
import java.util.HashMap; |
| 18 |
|
20 |
import java.util.logging.Level; |
|
|
21 |
import java.util.logging.Logger; |
| 19 |
import org.eclipse.core.runtime.preferences.IEclipsePreferences; |
22 |
import org.eclipse.core.runtime.preferences.IEclipsePreferences; |
| 20 |
import org.eclipse.core.runtime.preferences.IEclipsePreferences.PreferenceChangeEvent; |
23 |
import org.eclipse.core.runtime.preferences.IEclipsePreferences.PreferenceChangeEvent; |
| 21 |
import org.eclipse.jface.preference.IPreferenceStore; |
24 |
import org.eclipse.jface.preference.IPreferenceStore; |
|
Lines 40-45
Link Here
|
| 40 |
public class PlatformUIPreferenceListener implements |
43 |
public class PlatformUIPreferenceListener implements |
| 41 |
IEclipsePreferences.IPreferenceChangeListener { |
44 |
IEclipsePreferences.IPreferenceChangeListener { |
| 42 |
|
45 |
|
|
|
46 |
private static final Logger LOG = Logger.getLogger(PlatformUIPreferenceListener.class.getName()); |
| 47 |
|
| 43 |
private static PlatformUIPreferenceListener singleton; |
48 |
private static PlatformUIPreferenceListener singleton; |
| 44 |
|
49 |
|
| 45 |
public static IEclipsePreferences.IPreferenceChangeListener getSingleton(){ |
50 |
public static IEclipsePreferences.IPreferenceChangeListener getSingleton(){ |
|
Lines 161-173
Link Here
|
| 161 |
editorRegistry.readResources(editorMap, reader); |
166 |
editorRegistry.readResources(editorMap, reader); |
| 162 |
} |
167 |
} |
| 163 |
} catch (WorkbenchException e) { |
168 |
} catch (WorkbenchException e) { |
| 164 |
e.printStackTrace(); |
169 |
LOG.log(Level.WARNING, e.getMessage()); |
| 165 |
} finally { |
170 |
} finally { |
| 166 |
if (reader != null) { |
171 |
if (reader != null) { |
| 167 |
try { |
172 |
try { |
| 168 |
reader.close(); |
173 |
reader.close(); |
| 169 |
} catch (IOException e) { |
174 |
} catch (IOException e) { |
| 170 |
e.printStackTrace(); |
175 |
LOG.log(Level.WARNING, e.getMessage()); |
| 171 |
} |
176 |
} |
| 172 |
} |
177 |
} |
| 173 |
} |
178 |
} |
