debuggercdi/com.nokia.cdt.debug.launch/src/com/nokia/cdt/internal/debug/launch/ui/SymbianExceptionsTab.java
author wpaul
Fri, 13 Nov 2009 17:46:06 -0600
branchRCL_2_4
changeset 583 0c45a379d354
permissions -rw-r--r--
extend exception/panic support - fixes bug #10063.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
583
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     1
package com.nokia.cdt.internal.debug.launch.ui;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     2
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     3
import org.eclipse.core.runtime.CoreException;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     4
import org.eclipse.debug.core.ILaunchConfiguration;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     5
import org.eclipse.debug.core.ILaunchConfigurationWorkingCopy;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     6
import org.eclipse.debug.ui.AbstractLaunchConfigurationTab;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     7
import org.eclipse.jface.dialogs.Dialog;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     8
import org.eclipse.swt.SWT;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
     9
import org.eclipse.swt.events.SelectionAdapter;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    10
import org.eclipse.swt.events.SelectionEvent;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    11
import org.eclipse.swt.graphics.Image;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    12
import org.eclipse.swt.layout.GridLayout;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    13
import org.eclipse.swt.widgets.Button;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    14
import org.eclipse.swt.widgets.Combo;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    15
import org.eclipse.swt.widgets.Composite;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    16
import org.eclipse.swt.widgets.Event;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    17
import org.eclipse.swt.widgets.Listener;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    18
import org.eclipse.ui.PlatformUI;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    19
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    20
import com.nokia.cdt.internal.debug.launch.LaunchPlugin;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    21
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    22
import cwdbg.PreferenceConstants;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    23
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    24
public class SymbianExceptionsTab extends AbstractLaunchConfigurationTab {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    25
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    26
	private Button panicCheckbox;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    27
	private Combo panicCombo;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    28
	private Button swExcCheckbox;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    29
	private Combo swExcCombo;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    30
	private Button hwExcCheckbox;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    31
	private Combo hwExcCombo;
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    32
	
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    33
	public void createControl(Composite parent) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    34
		Composite comp = new Composite(parent, SWT.NONE);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    35
		setControl(comp);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    36
		
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    37
		GridLayout layout = new GridLayout(2, true);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    38
		comp.setLayout(layout);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    39
		
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    40
		panicCheckbox = new Button(comp, SWT.CHECK);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    41
		panicCheckbox.setText(Messages.getString("SymbianExceptionsTab.Panic")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    42
		panicCheckbox.setToolTipText(Messages.getString("SymbianExceptionsTab.PanicToolTip")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    43
		panicCheckbox.addSelectionListener(new SelectionAdapter() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    44
			public void widgetSelected(SelectionEvent e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    45
				if (panicCombo != null) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    46
					panicCombo.setEnabled(panicCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    47
					updateLaunchConfigurationDialog();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    48
				}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    49
			}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    50
		});
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    51
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    52
		panicCombo = new Combo(comp, SWT.DROP_DOWN | SWT.READ_ONLY);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    53
		panicCombo.add(Messages.getString("SymbianExceptionsTab.DebugThreads")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    54
		panicCombo.add(Messages.getString("SymbianExceptionsTab.AnyThread")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    55
		panicCombo.select(0);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    56
		panicCombo.addListener(SWT.Selection, new Listener() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    57
			public void handleEvent(Event e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    58
				updateLaunchConfigurationDialog();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    59
			}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    60
		});
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    61
		
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    62
		swExcCheckbox = new Button(comp, SWT.CHECK);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    63
		swExcCheckbox.setText(Messages.getString("SymbianExceptionsTab.SwExc")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    64
		swExcCheckbox.setToolTipText(Messages.getString("SymbianExceptionsTab.SwExcToolTip")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    65
		swExcCheckbox.addSelectionListener(new SelectionAdapter() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    66
			public void widgetSelected(SelectionEvent e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    67
				if (swExcCombo != null) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    68
					swExcCombo.setEnabled(swExcCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    69
					updateLaunchConfigurationDialog();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    70
				}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    71
			}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    72
		});
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    73
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    74
		swExcCombo = new Combo(comp, SWT.DROP_DOWN | SWT.READ_ONLY);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    75
		swExcCombo.add(Messages.getString("SymbianExceptionsTab.DebugThreads")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    76
		swExcCombo.add(Messages.getString("SymbianExceptionsTab.AnyThread")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    77
		swExcCombo.select(0);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    78
		swExcCombo.addListener(SWT.Selection, new Listener() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    79
			public void handleEvent(Event e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    80
				updateLaunchConfigurationDialog();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    81
			}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    82
		});
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    83
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    84
		hwExcCheckbox = new Button(comp, SWT.CHECK);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    85
		hwExcCheckbox.setText(Messages.getString("SymbianExceptionsTab.HwExc")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    86
		hwExcCheckbox.setToolTipText(Messages.getString("SymbianExceptionsTab.HwExcToolTip")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    87
		hwExcCheckbox.addSelectionListener(new SelectionAdapter() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    88
			public void widgetSelected(SelectionEvent e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    89
				if (hwExcCombo != null) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    90
					hwExcCombo.setEnabled(hwExcCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    91
					updateLaunchConfigurationDialog();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    92
				}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    93
			}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    94
		});
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    95
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    96
		hwExcCombo = new Combo(comp, SWT.DROP_DOWN | SWT.READ_ONLY);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    97
		hwExcCombo.add(Messages.getString("SymbianExceptionsTab.DebugThreads")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    98
		hwExcCombo.add(Messages.getString("SymbianExceptionsTab.AnyThread")); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
    99
		hwExcCombo.select(0);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   100
		hwExcCombo.addListener(SWT.Selection, new Listener() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   101
			public void handleEvent(Event e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   102
				updateLaunchConfigurationDialog();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   103
			}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   104
		});
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   105
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   106
		PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), LaunchTabHelpIds.STOP_MODE_EXCEPTIONS);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   107
		Dialog.applyDialogFont(parent);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   108
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   109
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   110
	public void initializeFrom(ILaunchConfiguration configuration) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   111
		try {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   112
			panicCheckbox.setSelection(configuration.getAttribute(PreferenceConstants.J_PN_StopModeEnablePanics, true));
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   113
			panicCombo.select(configuration.getAttribute(PreferenceConstants.J_PN_StopModeEnablePanicsForDebugThreadsOnly, true) ? 0 : 1);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   114
			panicCombo.setEnabled(panicCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   115
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   116
			swExcCheckbox.setSelection(configuration.getAttribute(PreferenceConstants.J_PN_StopModeEnableSwExcs, true));
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   117
			swExcCombo.select(configuration.getAttribute(PreferenceConstants.J_PN_StopModeEnableSwExcsForDebugThreadsOnly, true) ? 0 : 1);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   118
			swExcCombo.setEnabled(swExcCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   119
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   120
			hwExcCheckbox.setSelection(configuration.getAttribute(PreferenceConstants.J_PN_StopModeEnableHwExcs, true));
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   121
			hwExcCombo.select(configuration.getAttribute(PreferenceConstants.J_PN_StopModeEnableHwExcsForDebugThreadsOnly, true) ? 0 : 1);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   122
			hwExcCombo.setEnabled(hwExcCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   123
		} catch (CoreException e) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   124
			LaunchPlugin.log(e);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   125
		}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   126
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   127
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   128
	public void performApply(ILaunchConfigurationWorkingCopy configuration) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   129
		configuration.setAttribute(PreferenceConstants.J_PN_StopModeEnablePanics, panicCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   130
		configuration.setAttribute(PreferenceConstants.J_PN_StopModeEnablePanicsForDebugThreadsOnly, panicCombo.getSelectionIndex() == 0);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   131
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   132
		configuration.setAttribute(PreferenceConstants.J_PN_StopModeEnableSwExcs, swExcCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   133
		configuration.setAttribute(PreferenceConstants.J_PN_StopModeEnableSwExcsForDebugThreadsOnly, swExcCombo.getSelectionIndex() == 0);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   134
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   135
		configuration.setAttribute(PreferenceConstants.J_PN_StopModeEnableHwExcs, hwExcCheckbox.getSelection());
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   136
		configuration.setAttribute(PreferenceConstants.J_PN_StopModeEnableHwExcsForDebugThreadsOnly, hwExcCombo.getSelectionIndex() == 0);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   137
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   138
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   139
	public void setDefaults(ILaunchConfigurationWorkingCopy configuration) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   140
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   141
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   142
	public String getName() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   143
		return Messages.getString("SymbianExceptionsTab.name"); //$NON-NLS-1$
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   144
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   145
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   146
	public Image getImage() {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   147
		return LaunchImages.get(LaunchImages.IMG_VIEW_EXCEPTIONS_TAB);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   148
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   149
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   150
	@Override
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   151
	public void activated(ILaunchConfigurationWorkingCopy workingCopy) {
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   152
		super.activated(workingCopy);
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   153
		
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   154
		// forces page to get focus so that help works without having to select some control first.
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   155
		getControl().setFocus();
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   156
	}
0c45a379d354 extend exception/panic support - fixes bug #10063.
wpaul
parents:
diff changeset
   157
}