Patch contributed by Tim Slechten that fixes a problem with selecting…

… the profiler library
jasonsantos · Jul 20, 2009 · 41defb2 · 41defb2
1 parent 43030a7
commit 41defb2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.../org/keplerproject/ldt/luaprofiler/launcher/ui/preferences/LuaProfilerPreferencePage.java b/.../org/keplerproject/ldt/luaprofiler/launcher/ui/preferences/LuaProfilerPreferencePage.java
@@ -200,7 +200,7 @@ protected void addProfiler() {
 		name.open();
 		FileDialog file = new FileDialog(getShell(), SWT.OPEN);
 
-		if(Platform.getOS() == Platform.OS_WIN32) 
+		if(Platform.getOS().equals(Platform.OS_WIN32)) 
 			file.setFilterExtensions(new String[] { "*.dll", "*.a", "*.lib" });
 		else
 			file.setFilterExtensions(new String[] { "*.so", "*.a"});
@@ -242,6 +242,6 @@ public boolean performOk() {
 				.getSelection()).getFirstElement();
 		LuaProfiler.getDefault().setSelectedProfiler(selected);
 
-		return super.performOk();
+		return true;
 	}
 }