Sign in
eclipse
/
jdt
/
eclipse.jdt.core
/
7d6a60331b61847227c268900dd844a9e95b3ada
/
.
/
org.eclipse.jdt.core.tests.model
/
workspace
/
Formatter
/
test212
/
A_out.java
blob: fdc72d4ecfa9615b74739d32a973320d8a7712cf [
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
();
}