Apéndice A.

Tabla de contenidos

Listado de archivos del plugin Hello World
Archivo HelloWorldPlugin.java
Archivo HelloWorld.java
Archivo actions.xml
Archivo HelloWorld.props
Listado de archivos del plugin Hello World modificado para agregarle mayor funcionalidad
Archivo HelloWorld.java
Archivo WizardManager.java
Archivo HelloWorldPanel1.java
Archivo HelloWorldPane2.java
Archivo HelloWorldPane3.java

Listado de archivos del plugin Hello World

Archivo HelloWorldPlugin.java

import org.gjt.sp.jedit.*;

import java.util.Vector;

public class HelloWorldPlugin extends EditPlugin
{
	public void createMenuItems(Vector menuItems)
	{
		menuItems.addElement(GUIUtilities.loadMenuItem("HelloWorld"));
	}
}

Archivo HelloWorld.java

iimport javax.swing.*;
import org.gjt.sp.jedit.*;

public class HelloWorld extends JDialog
{
        // private members
        private View view;

        public HelloWorld(View view)
        {
                super(view,jEdit.getProperty("HelloWorld.title"),false);

                this.view = view;

                JPanel content = new JPanel();
                setContentPane(content);

                JLabel caption = new JLabel(jEdit.getProperty("HelloWorld.caption"));
                content.add(caption);

                pack();
                GUIUtilities.loadGeometry(this, "HelloWorld");
                setDefaultCloseOperation(DISPOSE_ON_CLOSE);
                show();
        }


        public void dispose()
        {
                view = null;
                GUIUtilities.saveGeometry(this, "HelloWorld");
                super.dispose();
        }
}

Archivo actions.xml

	      <?xml version="1.0"?>
	      
	      <!DOCTYPE ACTIONS SYSTEM "actions.dtd">
	      
	      <ACTIONS>
	      <ACTION NAME="HelloWorld">
	      <CODE>
	      new HelloWorld(view);
	      </CODE>
	      </ACTION>
	      </ACTIONS>
	    

Archivo HelloWorld.props

# Plugin properties
plugin.HelloWorldPlugin.name=Hello World !
plugin.HelloWorldPlugin.author=Jairo Martinez
plugin.HelloWorldPlugin.version=1.0
plugin.HelloWorldPlugin.docs=HelloWorld.html

# Menu item label
HelloWorld.label=Hello World !

# HelloWorld window
HelloWorld.title=Hello World plugin
HelloWorld.caption=Hello World !