package org.basex.gui.listener;

import java.awt.event.*;

/**
 * Listener interface for released keys.
 *
 * @author BaseX Team 2005-23, BSD License
 * @author Christian Gruen
 */
public interface KeyReleasedListener extends KeyListener {
  @Override
  default void keyTyped(final KeyEvent e) { }

  @Override
  default void keyPressed(final KeyEvent e) { }
}
