public void shellDeactivated(ShellEvent e) { if (!fControl.isDisposed() && fControl.getShell() == e.getSource()) { setJavaModelChanged(false); setEditorActive(false); } } }
@Override public void shellDeactivated(ShellEvent e) { if (!fControl.isDisposed() && fControl.getShell() == e.getSource()) { setJavaModelChanged(false); setEditorActive(false); } } }
@Override public void shellDeactivated(ShellEvent e) { if (!fControl.isDisposed() && fControl.getShell() == e.getSource()) { setJavaModelChanged(false); setEditorActive(false); } } }
public void shellActivated(ShellEvent e) { Shell shell = (Shell)e.getSource(); shell.setText(MessageFormat.format(PropertyPageMessages.JavaBreakpointPage_10, new String[]{getName(getBreakpoint())})); shell.removeShellListener(this); } public void shellClosed(ShellEvent e) {