概述  软件包   类  树  已过时  索引  帮助 
 上一个类   下一个类 框架    无框架    
摘要： 嵌套 | 字段 | 构造方法 | 方法 详细信息： 字段 | 构造方法 | 方法

com.supermap.data
接口 WorkspaceSavedListener

所有超级接口：
java.util.EventListener
public interface WorkspaceSavedListener
extends java.util.EventListener

用于接收工作空间保存结束事件（WorkspaceSavedEvent）的监听器。

方法摘要
 void workspaceSaved(WorkspaceSavedEvent event)
          在工作空间保存结束后调用该方法。
 

方法详细信息

workspaceSaved

void workspaceSaved(WorkspaceSavedEvent event)
在工作空间保存结束后调用该方法。

参数：
event - 指示工作空间保存结束的事件。
概述  软件包   类  树  已过时  索引  帮助 
 上一个类   下一个类 框架    无框架    
摘要： 嵌套 | 字段 | 构造方法 | 方法 详细信息： 字段 | 构造方法 | 方法