annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/Activator.java @ 22:7153018334a1

preference hinzugefuegt
author dwinter
date Wed, 05 Jan 2011 12:29:11 +0100
parents 83c58ea33792
children e5b16fea0387
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
3 import org.eclipse.jface.preference.IPreferenceStore;
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 import org.eclipse.jface.resource.ImageDescriptor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 import org.eclipse.ui.plugin.AbstractUIPlugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 import org.osgi.framework.BundleContext;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 * The activator class controls the plug-in life cycle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 public class Activator extends AbstractUIPlugin {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 // The plug-in ID
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 public static final String PLUGIN_ID = "de.mpg.mpiwg.itgroup.diglib.plugin"; //$NON-NLS-1$
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
15
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
16 //default base url fuer preferences
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
17 private static final String baseUrl_default="http://digilib.mpiwg-berlin.mpg.de/digitallibrary/servlet/Scaler";
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
18 public static String baseUrl_id="baseurl";
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 // The shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 private static Activator plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 * The constructor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 public Activator() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 * (non-Javadoc)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 public void start(BundleContext context) throws Exception {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 super.start(context);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 plugin = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 * (non-Javadoc)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 public void stop(BundleContext context) throws Exception {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 plugin = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 super.stop(context);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 * Returns the shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 * @return the shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 public static Activator getDefault() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 return plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 * Returns an image descriptor for the image file at the given
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 * plug-in relative path
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 * @param path the path
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 * @return the image descriptor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 public static ImageDescriptor getImageDescriptor(String path) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 return imageDescriptorFromPlugin(PLUGIN_ID, path);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 }
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
65
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
66 /**
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
67 * Initializes a preference store with default preference values
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
68 * for this plug-in.
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
69 */
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
70 protected void initializeDefaultPreferences(IPreferenceStore store) {
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
71 store.setDefault(baseUrl_id, baseUrl_default);
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
72
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
73
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
74 }
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 }