Reset Slicing Bug Fixed

Author: toukir-ahammed

Program-Slicer-Plugin/src/programslicerplugin/configs/DefaultStyle.java

@@ -3,6 +3,6 @@
 import org.eclipse.swt.custom.StyleRange;
 
 public class DefaultStyle {
-	public static StyleRange[] DEFAULTSTYLEDTEXTRANGES;
+	public static StyleRange[] DEFAULTSTYLEDTEXTRANGES = null;
 
 }

Program-Slicer-Plugin/src/programslicerplugin/handlers/BackwardSliceHandler.java

@@ -144,7 +144,11 @@ public Object execute(ExecutionEvent event) throws ExecutionException {
 
 		ITextViewer viewer = (ITextViewer) iPart.getAdapter(ITextOperationTarget.class);
 		StyledText styledText = viewer.getTextWidget();
-		DefaultStyle.DEFAULTSTYLEDTEXTRANGES = styledText.getStyleRanges();
+		
+		if (DefaultStyle.DEFAULTSTYLEDTEXTRANGES == null) {
+			DefaultStyle.DEFAULTSTYLEDTEXTRANGES = styledText.getStyleRanges();
+		}
+		
 
 		Display display = Display.getDefault();
 		StyleRange style = new StyleRange();

Program-Slicer-Plugin/src/programslicerplugin/handlers/ForwardSliceHandler.java

@@ -143,7 +143,10 @@ public Object execute(ExecutionEvent event) throws ExecutionException {
 
 		ITextViewer viewer = (ITextViewer) iPart.getAdapter(ITextOperationTarget.class);
 		StyledText styledText = viewer.getTextWidget();
-		DefaultStyle.DEFAULTSTYLEDTEXTRANGES = styledText.getStyleRanges();
+		
+		if (DefaultStyle.DEFAULTSTYLEDTEXTRANGES == null) {
+			DefaultStyle.DEFAULTSTYLEDTEXTRANGES = styledText.getStyleRanges();
+		}
 
 		Display display = Display.getDefault();
 		StyleRange style = new StyleRange();

Program-Slicer-Plugin/src/programslicerplugin/handlers/ResetSlicingHandler.java

@@ -18,15 +18,17 @@ public class ResetSlicingHandler extends AbstractHandler {
 	@Override
 	public Object execute(ExecutionEvent event) throws ExecutionException {
 		IWorkbenchWindow window = HandlerUtil.getActiveWorkbenchWindowChecked(event);
-		
+
 		IWorkbenchPage iPage = window.getActivePage();
 		IEditorPart iPart = iPage.getActiveEditor();
-		
+
 		ITextViewer viewer = (ITextViewer) iPart.getAdapter(ITextOperationTarget.class);
-		
+
 		StyledText styledText = viewer.getTextWidget();
-		styledText.setStyleRanges(DefaultStyle.DEFAULTSTYLEDTEXTRANGES);
-		
+		if (DefaultStyle.DEFAULTSTYLEDTEXTRANGES != null) {
+			styledText.setStyleRanges(DefaultStyle.DEFAULTSTYLEDTEXTRANGES);
+		}
+
 		return null;
 	}
 }