01: // ToolsLister.java
02: // $Id: ToolsLister.java,v 1.2 2000/08/16 21:37:33 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1998.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigedit.tools;
07:
08: import org.w3c.tools.resources.FramedResource;
09:
10: public class ToolsLister extends FramedResource {
11:
12: public void initialize(Object values[]) {
13: super .initialize(values);
14: try {
15: registerFrameIfNone(
16: "org.w3c.jigedit.tools.ToolsListerFrame",
17: "toolslister-frame");
18: } catch (Exception ex) {
19: ex.printStackTrace();
20: }
21: }
22: }
|