Browse Source

PFC-607 插件安装删除更新不重启支持

fix
master
juhaoyu 8 years ago
parent
commit
f67dea4d07
  1. 33
      designer_form/src/com/fr/design/gui/xpane/ToolTipEditor.java

33
designer_form/src/com/fr/design/gui/xpane/ToolTipEditor.java

@ -17,6 +17,12 @@ import com.fr.form.ui.EditorHolder;
import com.fr.form.ui.Widget; import com.fr.form.ui.Widget;
import com.fr.form.ui.WidgetValue; import com.fr.form.ui.WidgetValue;
import com.fr.general.Background; import com.fr.general.Background;
import com.fr.general.GeneralContext;
import com.fr.plugin.context.PluginContext;
import com.fr.plugin.injectable.PluginModule;
import com.fr.plugin.manage.PluginFilter;
import com.fr.plugin.observer.PluginEvent;
import com.fr.plugin.observer.PluginEventListener;
import com.fr.stable.ArrayUtils; import com.fr.stable.ArrayUtils;
import javax.swing.*; import javax.swing.*;
@ -28,11 +34,30 @@ import java.awt.geom.RoundRectangle2D;
public class ToolTipEditor extends JWindow { public class ToolTipEditor extends JWindow {
private static ToolTipEditor editor = new ToolTipEditor(); private static volatile ToolTipEditor editor = new ToolTipEditor();
public static ToolTipEditor getInstance() { static {
return editor; GeneralContext.listenPluginRunningChanged(new PluginEventListener() {
}
@Override
public void on(PluginEvent event) {
editor = new ToolTipEditor();
}
}, new PluginFilter() {
@Override
public boolean accept(PluginContext context) {
return context.contain(PluginModule.ExtraDesign);
}
});
}
public static ToolTipEditor getInstance() {
return editor;
}
private XEditorHolder holder; private XEditorHolder holder;
private Border buttonBorder = new UIRoundedBorder(new Color(149, 149, 149), 1, 5); private Border buttonBorder = new UIRoundedBorder(new Color(149, 149, 149), 1, 5);

Loading…
Cancel
Save