2007-02-26から1日間の記事一覧
IMarkerが、ユーザの操作とかIResource#deleteMarkersとかで 削除されたときを知る方法。 通知してもらえるようにするには、IResourceChangeListenerを しかければよい。 ResourcesPlugin.getWorkspace().addResourceChangeListener(new HogeListener());// …
IMarkerが、ユーザの操作とかIResource#deleteMarkersとかで 削除されたときを知る方法。 通知してもらえるようにするには、IResourceChangeListenerを しかければよい。 ResourcesPlugin.getWorkspace().addResourceChangeListener(new HogeListener());// …