jack.plugin.prove
Class ProofClickListener

java.lang.Object
  jack.plugin.prove.ProofClickListener

All Implemented Interfaces:

org.eclipse.jface.viewers.IDoubleClickListener

public class ProofClickListener

extends java.lang.Object

implements org.eclipse.jface.viewers.IDoubleClickListener

Listener that displays an error dialog when a double click on a proof task stopped with error occurs.

Author:

A. Requet

Constructor Summary

ProofClickListener()

Method Summary

void	doubleClick(org.eclipse.jface.viewers.DoubleClickEvent event)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofClickListener

public ProofClickListener()

Method Detail

doubleClick

public void doubleClick(org.eclipse.jface.viewers.DoubleClickEvent event)

Specified by:

doubleClick in interface org.eclipse.jface.viewers.IDoubleClickListener

See Also:

IDoubleClickListener.doubleClick(DoubleClickEvent)