MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-56932: What the heck means "Select Profiles.ini file"

Browse Source
This commit is contained in:
nik
2010-07-30 15:30:49 +04:00
parent 65766c28b8
commit 8736347199
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
xml/impl/src/com/intellij/ide/browsers/firefox/FirefoxUtil.java
+2 -3
View File
@@ -61,9 +61,8 @@ public class FirefoxUtil {
FirefoxProfile profile = findProfileByNameOrDefault(settings.getProfile(), profiles);
if (profile != null) {
File profileDir = profile.getProfileDirectory(profilesFile);
File dir = new File(profileDir, "extensions");
if (dir.isDirectory()) {
return dir;
if (profileDir.isDirectory()) {
return new File(profileDir, "extensions");
}
}
}