mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Dartium path is lost on closing/reopening the IDE
This commit is contained in:
@@ -312,6 +312,7 @@ public class WebBrowserManager extends SimpleModificationTracker implements Pers
|
||||
public void setBrowserPath(@NotNull WebBrowser browser, @Nullable String path, boolean isActive) {
|
||||
((ConfigurableWebBrowser)browser).setPath(path);
|
||||
((ConfigurableWebBrowser)browser).setActive(isActive);
|
||||
incModificationCount();
|
||||
}
|
||||
|
||||
public WebBrowser addBrowser(final @NotNull UUID id,
|
||||
|
||||
Reference in New Issue
Block a user