edu.rice.cs.drjava.ui
Class MainFrame.LastFocusListener

java.lang.Object
  java.awt.event.FocusAdapter
      edu.rice.cs.drjava.ui.MainFrame.LastFocusListener

All Implemented Interfaces:

FocusListener, EventListener

Enclosing class:

MainFrame

private class MainFrame.LastFocusListener
extends FocusAdapter

Constructor Summary

private

MainFrame.LastFocusListener()

Method Summary

void	focusGained(FocusEvent e)

Methods inherited from class java.awt.event.FocusAdapter

focusLost

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MainFrame.LastFocusListener

private MainFrame.LastFocusListener()

Method Detail

focusGained

public void focusGained(FocusEvent e)

Specified by:

focusGained in interface FocusListener

Overrides:

focusGained in class FocusAdapter