mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
avoid settings collisions (pre idea 14 vs idea 14)
import old settings is not important in this case, but will be implemented later
This commit is contained in:
@@ -34,7 +34,7 @@ import java.util.UUID;
|
||||
|
||||
import static com.intellij.ide.browsers.BrowsersConfiguration.BrowserFamily;
|
||||
|
||||
@State(name = "WebBrowsersConfiguration", storages = {@Storage(file = StoragePathMacros.APP_CONFIG + "/browsers.xml")})
|
||||
@State(name = "WebBrowsersConfiguration", storages = {@Storage(file = StoragePathMacros.APP_CONFIG + "/web-browsers.xml")})
|
||||
public class WebBrowserManager implements PersistentStateComponent<Element>, ModificationTracker {
|
||||
private static final Logger LOG = Logger.getInstance(WebBrowserManager.class);
|
||||
|
||||
|
||||
Reference in New Issue
Block a user