mirror of
https://github.com/enso-org/enso.git
synced 2024-11-30 05:35:09 +03:00
ee8e9e5c60
This PR fixes #6560. The fix has a few elements: 1) Bumps the Engine requirement to the latest release, namely `2023.1.1`. 2) Changed the logic of checking whether a given version matches the requirement. Previously, we relied on `VersionReq` from `semver` crate which did not behave intuitively when the required version had a prerelease suffix. Now we rely directly on Semantic Versioning rules of precedence. 3) Code cleanups, including deduplicating 3 copies of the version-checking code, and moving some tests to more sensible places.
28 lines
1.3 KiB
YAML
28 lines
1.3 KiB
YAML
# The name of an object created in the global window scope. This object will contain functions
|
|
# to control the IDE, like the `main` function, and also the configuration object.
|
|
windowAppScopeName: "enso"
|
|
|
|
# The configuration object nested inside of the `windowAppScopeName` object containing all
|
|
# startup configuration options. See usages of this variable to learn more about available
|
|
# options.
|
|
windowAppScopeConfigName: "config"
|
|
|
|
# The configuration object nested inside of the `windowAppScopeName` object containing theming
|
|
# utilities and allowing for runtime theme modification.
|
|
windowAppScopeThemeName: "theme"
|
|
|
|
# The URL to the JSON-RPC endpoint to the Project Manager.
|
|
# This MUST be kept in sync with the corresponding value in `app/gui/src/constants.rs`.
|
|
projectManagerEndpoint: "ws://127.0.0.1:30535"
|
|
|
|
# TODO [ao] add description here.
|
|
minimumSupportedVersion": "2.0.0-alpha.6"
|
|
|
|
# The minimum engine version supported by the application. The projects opened with the older versions
|
|
# will have the "Unsupported engine version" message displayed.
|
|
engineVersionSupported: "2023.1.1"
|
|
|
|
# The minimum language edition supported by the application. It will be displayed as edition user
|
|
# should put in their package.yaml file to have project compatible with the IDE.
|
|
languageEditionSupported: "2023.1.1"
|