X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.modeling.ui%2Fsrc%2Forg%2Fsimantics%2Fmodeling%2Fui%2FActivator.java;h=5a4a58f33ffbe971cbc4daa8a5caeb975171605f;hp=c4146d6f2394f550199ccd69b37a0cf730ff8ac6;hb=dbe0a77f0869111219b69d412d0bb90d17c391c1;hpb=0ae2b770234dfc3cbb18bd38f324125cf0faca07 diff --git a/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/Activator.java b/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/Activator.java index c4146d6f2..5a4a58f33 100644 --- a/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/Activator.java +++ b/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/Activator.java @@ -92,11 +92,13 @@ public class Activator extends AbstractUIPlugin { public static ImageDescriptor POINTER_MODE; public static ImageDescriptor CONNECT_MODE; + public static ImageDescriptor ARROW_REFRESH; + @Override public void start(BundleContext context) throws Exception { super.start(context); plugin = this; - this.context = context; + Activator.context = context; Bundle bundle = context.getBundle(); @@ -169,6 +171,8 @@ public class Activator extends AbstractUIPlugin { POINTER_MODE = ImageDescriptor.createFromURL(bundle.getResource("icons/pointertool.png")); CONNECT_MODE = ImageDescriptor.createFromURL(bundle.getResource("icons/connecttool.png")); + ARROW_REFRESH = ImageDescriptor.createFromURL(bundle.getResource("icons/arrow_refresh.png")); + Hashtable properties = new Hashtable(); context.registerService(SCLConsoleListener.class, new SCLConsoleListener() { @@ -176,14 +180,6 @@ public class Activator extends AbstractUIPlugin { public void startedExecution() { Simantics.getSession().markUndoPoint(); } - - @Override - public void finishedExecution() { - } - - @Override - public void consoleIsNotEmptyAnymore() { - } }, properties); context.registerService(ImportModulesAction.class, OntologyImportModulesAction.INSTANCE, @@ -202,6 +198,7 @@ public class Activator extends AbstractUIPlugin { reg.put("arrowDown", ARROW_DOWN_ICON); reg.put("showProfileMonitors", SHOW_PROFILE_MONITOR_ICON); reg.put("hideProfileMonitors", HIDE_PROFILE_MONITOR_ICON); + reg.put("arrow_refresh", ARROW_REFRESH); } /*