mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fixing usages of a removed constant
GitOrigin-RevId: 7fa646a62bfc0b869f0cc40fe84035f2d50f66f0
This commit is contained in:
committed by
intellij-monorepo-bot
parent
d2c7566e44
commit
98b4832fec
@@ -10,7 +10,6 @@ import com.intellij.openapi.help.HelpManager
|
||||
import com.intellij.openapi.util.text.StringUtil
|
||||
import com.intellij.util.PlatformUtils
|
||||
import com.jetbrains.builtInHelp.settings.SettingsPage
|
||||
import com.jetbrains.builtInHelp.settings.SettingsPage.DEFAULT_BROWSER
|
||||
import org.jetbrains.builtInWebServer.BuiltInServerOptions
|
||||
import java.awt.Desktop
|
||||
import java.io.IOException
|
||||
@@ -78,8 +77,8 @@ class BuiltInHelpManager : HelpManager() {
|
||||
}
|
||||
|
||||
val browserName = java.lang.String.valueOf(
|
||||
Utils.getStoredValue(SettingsPage.USE_BROWSER, DEFAULT_BROWSER))
|
||||
if (browserName == DEFAULT_BROWSER) {
|
||||
Utils.getStoredValue(SettingsPage.USE_BROWSER, BuiltInHelpBundle.message("use.default.browser")))
|
||||
if (browserName == BuiltInHelpBundle.message("use.default.browser")) {
|
||||
if (Desktop.isDesktopSupported()) {
|
||||
Desktop.getDesktop().browse(URI(url))
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user