Sign in
eclipse
/
jdt
/
eclipse.jdt.core
/
1c470517151b64cd8f3dcfb623ec4bfcfa5bc9b3
/
.
/
org.eclipse.jdt.core.tests.model
/
workspace
/
Formatter
/
test213
/
A_in.java
blob: 8076e419f70b860683a9aa3c4de7fcad5e4cfc90 [
file
] [
log
] [
blame
]
/**
* This hook is called if the window's close button was pressed, the close menu was selected,
* or the ESCAPE key pressed.
* The default implementation calls <code>close()</code>.
*/
public
void
closeBoxPressed
()
{
close
();
}