// The following brings in the Netscape LiveConnect classes
// that we will use.
import netscape.javascript.JSObject;
// These are the classes that we use that are exposed by
// techexplorer. The first is the basic interface to the
// plug-in. The others are the event and listener classes.
public class teched
extends java.applet.Applet
implements KeyListener
{
// The JavaScript window object
JSObject Window = null;
// The JavaScript document object
JSObject Document = null;
// The techexplorer plug-in instance
techexplorerPlugin tePlugin = null;
// The editable text area for the markup source
TextArea markupInputArea = null;
// The 'Clear input' button
Button clearInputButton = null;
// A utility buffer for holding the markup.
StringBuffer markupString = new StringBuffer("");
public boolean action(Event evt, Object arg) {
// We only handle the 'Clear input' action.
boolean result = false;
if ( evt.target == clearInputButton ) {
// Empty the markup edit area.
markupInputArea.setText( "" );
// Reinitialize the techexplorer document. This
// needs to be a non-empty string to actually
// updated the document, so we give it some
// non-visible input.
tePlugin.reloadFromTeXString( "\\(\\)" );
result = true;
}
return result;
}
public void init() {
// Initialize the components we are displaying
// with this Java applet.
clearInputButton = new Button("Clear input");
markupInputArea = new TextArea( 5, 80 );
public void keyPressed( ibm.techexplorer.awt.event.KeyEvent e ) {
// We don't do anything with this event given us by
// techexplorer. But see 'keyTyped'.
}
public void keyTyped( ibm.techexplorer.awt.event.KeyEvent e ) {
// This is a naive (but effective!) way of dealing with
// keys coming to us from techexplorer. We grab the key
// that was pressed and put it on the end of our markup.
// Then we update the techexplorer window.
if ( e.getSource() == tePlugin ) {
markupInputArea.appendText(
( new Character( e.getKeyChar() )).toString() );
// This replaces the document within the techexplorer
// window with that gotten by parsing the string
// passed to it.
public void keyReleased( ibm.techexplorer.awt.event.KeyEvent e ) {
// This is where we deal with key release events coming to
// us from the techexplorer window.
switch ( e.getKeyCode() ) {
case KeyEvent.VK_DELETE:
// When we see a 'delete' key, we remove the last character
// in the markup.
if ( e.getSource() == tePlugin ) {
markupString = new StringBuffer( markupInputArea.getText() );
int length = markupString.length();
if ( length > 0 )
--length;
markupString.setLength( length );
markupInputArea.setText( markupString.toString() );
tePlugin.reloadFromTeXString( markupInputArea.getText() );
}
break;
case KeyEvent.VK_ENTER:
// When we see that the 'enter' key has been pressed, we
// insert a newline in the markup. This improves readability.
public boolean keyUp( Event evt, int key )
{
// This key is one from the markup input area.
// When a key is released, update the techexplorer
// document with the current markup.
boolean result = false;
if ( evt.target == markupInputArea ) {
if ( evt.id == Event.KEY_RELEASE ) {
int length = markupInputArea.getText().length();
if ( length > 0 )
tePlugin.reloadFromTeXString(
markupInputArea.getText() );
else
tePlugin.reloadFromTeXString( "\\(\\)" );
}
result = true;
}
return result;
}
public void start() {
// Initialize the Netscape JavaScript objects.
// Try to get the techexplorer plug-in object.
tePlugin = (techexplorerPlugin) Document.getMember("teInput");
if ( tePlugin == null )
// If we didn't get it, print a debug message.
System.out.println("teched: start(): null teched");
else
// Otherwise add the listener for techexplorer keys.
tePlugin.addKeyListener( (KeyListener) this );
}
public void stop() {
if ( tePlugin == null )
// If we don't have the techexplorer plug-in object,
// print a debug message.
System.out.println("teched: stop(): null teched");
else
// Otherwise remove the listener for techexplorer keys.
tePlugin.removeKeyListener( (KeyListener) this );
}
}
