crashanalysis/crashanalyser/com.nokia.s60tools.crashanalyser/src/com/nokia/s60tools/crashanalyser/model/EditorHandler.java
changeset 4 615035072f7e
parent 0 5ad7ad99af01
equal deleted inserted replaced
3:431bbaccaec8 4:615035072f7e
   115     	    		IEditorPart part = ref.getEditor(true);
   115     	    		IEditorPart part = ref.getEditor(true);
   116     	    		if (part == null)
   116     	    		if (part == null)
   117     	    			continue;
   117     	    			continue;
   118     	    		
   118     	    		
   119     	    		String title = part.getTitle();
   119     	    		String title = part.getTitle();
   120 	    			if (title.equalsIgnoreCase(file.getFileName())) {
   120     	    		String pageTitle = null;
       
   121     	    		if(file.getThread() != null) {
       
   122     	    			pageTitle = file.getThread().getFullName();
       
   123     	    		} else {
       
   124     	    			pageTitle = file.getFileName();
       
   125     	    		}
       
   126     	    		
       
   127 	    			if (title.equalsIgnoreCase(pageTitle)) {
   121 	    				page.bringToTop(part);
   128 	    				page.bringToTop(part);
   122 	    				return true;
   129 	    				return true;
   123 	    			}
   130 	    			}
   124     	    	}
   131     	    	}
   125     		}
   132     		}