001 package nl.cwi.sen1.tide.tool.prefeditor; 002 003 import javax.swing.Icon; 004 005 import nl.cwi.sen1.tide.tool.TideTool; 006 import nl.cwi.sen1.tide.tool.TideToolFactory; 007 import nl.cwi.sen1.tide.tool.ToolManager; 008 009 public class PreferencesEditorFactory 010 implements TideToolFactory 011 { 012 private ToolManager manager; 013 014 //{{{ public PreferencesEditorFactory(ToolManager manager) 015 016 public PreferencesEditorFactory(ToolManager manager) 017 { 018 this.manager = manager; 019 } 020 021 //}}} 022 //{{{ public TideTool createTool() 023 024 public TideTool createTool() 025 { 026 TideTool tool = new PreferencesEditor(manager); 027 return tool; 028 } 029 030 //}}} 031 //{{{ public String getName() 032 033 public String getName() 034 { 035 return "PreferencesEditor"; 036 } 037 038 //}}} 039 //{{{ public Icon getIcon() 040 041 public Icon getIcon() 042 { 043 return null; 044 } 045 046 //}}} 047 }