/* (non-Javadoc) * @see org.eclipse.vtp.desktop.editors.themes.mantis.MantisComponentFrame#mouseDoubleClick(org.eclipse.vtp.desktop.editors.core.commands.CommandListener, int, int, int) */ public void mouseDoubleClick(CommandListener commandListener, int x, int y, int modifiers) { super.mouseDoubleClick(commandListener, x, y, modifiers); }