org.symbian.tools.wrttools.debug.core/src/org/symbian/tools/wrttools/debug/internal/launch/ResourcesChangeListener.java
changeset 397 e5346aff014d
parent 361 08e920dda3d9
child 401 72386743b723
equal deleted inserted replaced
396:11ff5aef0e96 397:e5346aff014d
    46             if (changes.length > 0 && isWrtResourceChanges(changes)) {
    46             if (changes.length > 0 && isWrtResourceChanges(changes)) {
    47                 Display.getDefault().asyncExec(new Runnable() {
    47                 Display.getDefault().asyncExec(new Runnable() {
    48                     public void run() {
    48                     public void run() {
    49                         String message = "Debug browser is not updated when the files are updated. You may notice discrepancies between your workspace contents and debug session. You should either refresh the browser or restart debugging session to see the latest changes made to the workspace.";
    49                         String message = "Debug browser is not updated when the files are updated. You may notice discrepancies between your workspace contents and debug session. You should either refresh the browser or restart debugging session to see the latest changes made to the workspace.";
    50                         MessageDialogWithToggle.openWarning(PlatformUI.getWorkbench().getActiveWorkbenchWindow()
    50                         MessageDialogWithToggle.openWarning(PlatformUI.getWorkbench().getActiveWorkbenchWindow()
    51                                 .getShell(), "WebRuntime Debugger", message,
    51                                 .getShell(), "TMW Debugger", message,
    52                                 "Do not show this warning on code changes", false, Activator.getDefault()
    52                                 "Do not show this warning on code changes", false, Activator.getDefault()
    53                                         .getPreferenceStore(), IConstants.PREF_SHOW_RESOURCE_CHANGE_ERROR);
    53                                         .getPreferenceStore(), IConstants.PREF_SHOW_RESOURCE_CHANGE_ERROR);
    54                         ResourcesPlugin.getWorkspace().removeResourceChangeListener(ResourcesChangeListener.this);
    54                         ResourcesPlugin.getWorkspace().removeResourceChangeListener(ResourcesChangeListener.this);
    55                     }
    55                     }
    56                 });
    56                 });