@theia/core 1.27.0-next.9 → 1.27.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +6 -7
- package/i18n/nls.cs.json +52 -6
- package/i18n/nls.de.json +52 -6
- package/i18n/nls.es.json +52 -6
- package/i18n/nls.fr.json +52 -6
- package/i18n/nls.hu.json +55 -9
- package/i18n/nls.it.json +52 -6
- package/i18n/nls.ja.json +52 -6
- package/i18n/nls.json +52 -6
- package/i18n/nls.pl.json +52 -6
- package/i18n/nls.pt-br.json +52 -6
- package/i18n/nls.pt-pt.json +52 -6
- package/i18n/nls.ru.json +52 -6
- package/i18n/nls.zh-cn.json +52 -6
- package/lib/browser/color-application-contribution.d.ts +2 -2
- package/lib/browser/color-application-contribution.d.ts.map +1 -1
- package/lib/browser/color-application-contribution.js +15 -16
- package/lib/browser/color-application-contribution.js.map +1 -1
- package/lib/browser/color-registry.d.ts +0 -4
- package/lib/browser/color-registry.d.ts.map +1 -1
- package/lib/browser/color-registry.js +0 -14
- package/lib/browser/color-registry.js.map +1 -1
- package/lib/browser/common-frontend-contribution.d.ts +4 -0
- package/lib/browser/common-frontend-contribution.d.ts.map +1 -1
- package/lib/browser/common-frontend-contribution.js +157 -163
- package/lib/browser/common-frontend-contribution.js.map +1 -1
- package/lib/browser/common-styling-participants.d.ts +28 -0
- package/lib/browser/common-styling-participants.d.ts.map +1 -0
- package/lib/browser/common-styling-participants.js +319 -0
- package/lib/browser/common-styling-participants.js.map +1 -0
- package/lib/browser/connection-status-service.d.ts.map +1 -1
- package/lib/browser/connection-status-service.js +2 -2
- package/lib/browser/connection-status-service.js.map +1 -1
- package/lib/browser/connection-status-service.spec.js +1 -2
- package/lib/browser/connection-status-service.spec.js.map +1 -1
- package/lib/browser/context-menu-renderer.d.ts +1 -5
- package/lib/browser/context-menu-renderer.d.ts.map +1 -1
- package/lib/browser/context-menu-renderer.js +10 -30
- package/lib/browser/context-menu-renderer.js.map +1 -1
- package/lib/browser/core-preferences.d.ts +1 -0
- package/lib/browser/core-preferences.d.ts.map +1 -1
- package/lib/browser/core-preferences.js +5 -0
- package/lib/browser/core-preferences.js.map +1 -1
- package/lib/browser/decoration-style.d.ts +1 -0
- package/lib/browser/decoration-style.d.ts.map +1 -1
- package/lib/browser/decoration-style.js +6 -2
- package/lib/browser/decoration-style.js.map +1 -1
- package/lib/browser/frontend-application-bindings.d.ts.map +1 -1
- package/lib/browser/frontend-application-bindings.js +1 -3
- package/lib/browser/frontend-application-bindings.js.map +1 -1
- package/lib/browser/frontend-application-config-provider.d.ts +1 -0
- package/lib/browser/frontend-application-config-provider.d.ts.map +1 -1
- package/lib/browser/frontend-application-config-provider.js +2 -1
- package/lib/browser/frontend-application-config-provider.js.map +1 -1
- package/lib/browser/frontend-application-module.d.ts.map +1 -1
- package/lib/browser/frontend-application-module.js +9 -3
- package/lib/browser/frontend-application-module.js.map +1 -1
- package/lib/browser/i18n/i18n-frontend-module.d.ts.map +1 -1
- package/lib/browser/i18n/i18n-frontend-module.js +2 -0
- package/lib/browser/i18n/i18n-frontend-module.js.map +1 -1
- package/lib/browser/i18n/language-quick-pick-service.d.ts +17 -0
- package/lib/browser/i18n/language-quick-pick-service.d.ts.map +1 -0
- package/lib/browser/i18n/language-quick-pick-service.js +142 -0
- package/lib/browser/i18n/language-quick-pick-service.js.map +1 -0
- package/lib/browser/index.d.ts +1 -0
- package/lib/browser/index.d.ts.map +1 -1
- package/lib/browser/index.js +1 -0
- package/lib/browser/index.js.map +1 -1
- package/lib/browser/keybinding.d.ts.map +1 -1
- package/lib/browser/keybinding.js +2 -1
- package/lib/browser/keybinding.js.map +1 -1
- package/lib/browser/keybinding.spec.js +18 -21
- package/lib/browser/keybinding.spec.js.map +1 -1
- package/lib/browser/label-provider.d.ts +0 -12
- package/lib/browser/label-provider.d.ts.map +1 -1
- package/lib/browser/label-provider.js +1 -13
- package/lib/browser/label-provider.js.map +1 -1
- package/lib/browser/logger-frontend-module.d.ts.map +1 -1
- package/lib/browser/logger-frontend-module.js +8 -1
- package/lib/browser/logger-frontend-module.js.map +1 -1
- package/lib/browser/messaging/ws-connection-provider.d.ts +5 -4
- package/lib/browser/messaging/ws-connection-provider.d.ts.map +1 -1
- package/lib/browser/messaging/ws-connection-provider.js +30 -23
- package/lib/browser/messaging/ws-connection-provider.js.map +1 -1
- package/lib/browser/preferences/preference-contribution.d.ts +2 -19
- package/lib/browser/preferences/preference-contribution.d.ts.map +1 -1
- package/lib/browser/preferences/preference-contribution.js +1 -24
- package/lib/browser/preferences/preference-contribution.js.map +1 -1
- package/lib/browser/preferences/preference-proxy.d.ts +0 -4
- package/lib/browser/preferences/preference-proxy.d.ts.map +1 -1
- package/lib/browser/preferences/preference-proxy.js.map +1 -1
- package/lib/browser/preferences/preference-proxy.spec.js +3 -102
- package/lib/browser/preferences/preference-proxy.spec.js.map +1 -1
- package/lib/browser/preferences/preference-schema-provider.spec.js +4 -3
- package/lib/browser/preferences/preference-schema-provider.spec.js.map +1 -1
- package/lib/browser/preferences/preference-service.spec.js +1 -2
- package/lib/browser/preferences/preference-service.spec.js.map +1 -1
- package/lib/browser/preferences/preference-validation-service.d.ts +2 -2
- package/lib/browser/preferences/preference-validation-service.d.ts.map +1 -1
- package/lib/browser/preferences/preference-validation-service.spec.js.map +1 -1
- package/lib/browser/preloader.d.ts.map +1 -1
- package/lib/browser/preloader.js +7 -1
- package/lib/browser/preloader.js.map +1 -1
- package/lib/browser/progress-status-bar-item.d.ts +1 -1
- package/lib/browser/progress-status-bar-item.d.ts.map +1 -1
- package/lib/browser/quick-input/quick-command-service.d.ts.map +1 -1
- package/lib/browser/quick-input/quick-command-service.js +2 -2
- package/lib/browser/quick-input/quick-command-service.js.map +1 -1
- package/lib/browser/saveable.d.ts.map +1 -1
- package/lib/browser/saveable.js +5 -4
- package/lib/browser/saveable.js.map +1 -1
- package/lib/browser/shell/application-shell.d.ts +4 -0
- package/lib/browser/shell/application-shell.d.ts.map +1 -1
- package/lib/browser/shell/application-shell.js +42 -36
- package/lib/browser/shell/application-shell.js.map +1 -1
- package/lib/browser/shell/shell-layout-restorer.d.ts +2 -0
- package/lib/browser/shell/shell-layout-restorer.d.ts.map +1 -1
- package/lib/browser/shell/shell-layout-restorer.js +5 -1
- package/lib/browser/shell/shell-layout-restorer.js.map +1 -1
- package/lib/browser/shell/side-panel-handler.d.ts.map +1 -1
- package/lib/browser/shell/side-panel-handler.js +3 -2
- package/lib/browser/shell/side-panel-handler.js.map +1 -1
- package/lib/browser/shell/tab-bars.d.ts +4 -2
- package/lib/browser/shell/tab-bars.d.ts.map +1 -1
- package/lib/browser/shell/tab-bars.js +12 -4
- package/lib/browser/shell/tab-bars.js.map +1 -1
- package/lib/browser/source-tree/source-tree-widget.js +1 -1
- package/lib/browser/source-tree/source-tree-widget.js.map +1 -1
- package/lib/browser/source-tree/tree-source.d.ts +2 -1
- package/lib/browser/source-tree/tree-source.d.ts.map +1 -1
- package/lib/browser/source-tree/tree-source.js.map +1 -1
- package/lib/browser/styling-service.d.ts +26 -0
- package/lib/browser/styling-service.d.ts.map +1 -0
- package/lib/browser/styling-service.js +76 -0
- package/lib/browser/styling-service.js.map +1 -0
- package/lib/browser/theming.d.ts +4 -8
- package/lib/browser/theming.d.ts.map +1 -1
- package/lib/browser/theming.js +38 -53
- package/lib/browser/theming.js.map +1 -1
- package/lib/browser/tree/search-box.d.ts.map +1 -1
- package/lib/browser/tree/search-box.js +5 -4
- package/lib/browser/tree/search-box.js.map +1 -1
- package/lib/browser/tree/test/tree-test-container.d.ts.map +1 -1
- package/lib/browser/tree/test/tree-test-container.js +2 -0
- package/lib/browser/tree/test/tree-test-container.js.map +1 -1
- package/lib/browser/tree/tree-compression/compressed-tree-model.d.ts +1 -1
- package/lib/browser/tree/tree-compression/compressed-tree-model.d.ts.map +1 -1
- package/lib/browser/tree/tree-compression/compressed-tree-model.js +4 -2
- package/lib/browser/tree/tree-compression/compressed-tree-model.js.map +1 -1
- package/lib/browser/tree/tree-compression/compressed-tree-widget.d.ts.map +1 -1
- package/lib/browser/tree/tree-compression/compressed-tree-widget.js +4 -2
- package/lib/browser/tree/tree-compression/compressed-tree-widget.js.map +1 -1
- package/lib/browser/tree/tree-container.d.ts +2 -0
- package/lib/browser/tree/tree-container.d.ts.map +1 -1
- package/lib/browser/tree/tree-container.js +3 -0
- package/lib/browser/tree/tree-container.js.map +1 -1
- package/lib/browser/tree/tree-focus-service.d.ts +20 -0
- package/lib/browser/tree/tree-focus-service.d.ts.map +1 -0
- package/lib/browser/tree/tree-focus-service.js +62 -0
- package/lib/browser/tree/tree-focus-service.js.map +1 -0
- package/lib/browser/tree/tree-model.d.ts +11 -2
- package/lib/browser/tree/tree-model.d.ts.map +1 -1
- package/lib/browser/tree/tree-model.js +29 -8
- package/lib/browser/tree/tree-model.js.map +1 -1
- package/lib/browser/tree/tree-selection-impl.d.ts +4 -1
- package/lib/browser/tree/tree-selection-impl.d.ts.map +1 -1
- package/lib/browser/tree/tree-selection-impl.js +13 -2
- package/lib/browser/tree/tree-selection-impl.js.map +1 -1
- package/lib/browser/tree/tree-selection-state.d.ts +1 -0
- package/lib/browser/tree/tree-selection-state.d.ts.map +1 -1
- package/lib/browser/tree/tree-selection-state.js +8 -2
- package/lib/browser/tree/tree-selection-state.js.map +1 -1
- package/lib/browser/tree/tree-selection.d.ts +9 -0
- package/lib/browser/tree/tree-selection.d.ts.map +1 -1
- package/lib/browser/tree/tree-selection.js +3 -0
- package/lib/browser/tree/tree-selection.js.map +1 -1
- package/lib/browser/tree/tree-widget-selection.d.ts.map +1 -1
- package/lib/browser/tree/tree-widget-selection.js +9 -1
- package/lib/browser/tree/tree-widget-selection.js.map +1 -1
- package/lib/browser/tree/tree-widget.d.ts +14 -0
- package/lib/browser/tree/tree-widget.d.ts.map +1 -1
- package/lib/browser/tree/tree-widget.js +80 -40
- package/lib/browser/tree/tree-widget.js.map +1 -1
- package/lib/browser/tree/tree.d.ts +2 -1
- package/lib/browser/tree/tree.d.ts.map +1 -1
- package/lib/browser/tree/tree.js +12 -2
- package/lib/browser/tree/tree.js.map +1 -1
- package/lib/browser/view-container.d.ts +9 -4
- package/lib/browser/view-container.d.ts.map +1 -1
- package/lib/browser/view-container.js +36 -6
- package/lib/browser/view-container.js.map +1 -1
- package/lib/common/cancellation.d.ts +1 -0
- package/lib/common/cancellation.d.ts.map +1 -1
- package/lib/common/cancellation.js +8 -0
- package/lib/common/cancellation.js.map +1 -1
- package/lib/common/command.d.ts +1 -1
- package/lib/common/command.d.ts.map +1 -1
- package/lib/common/command.js +13 -16
- package/lib/common/command.js.map +1 -1
- package/lib/common/index.d.ts +1 -0
- package/lib/common/index.d.ts.map +1 -1
- package/lib/common/index.js +1 -0
- package/lib/common/index.js.map +1 -1
- package/lib/common/message-rpc/channel.d.ts +106 -0
- package/lib/common/message-rpc/channel.d.ts.map +1 -0
- package/lib/common/message-rpc/channel.js +195 -0
- package/lib/common/message-rpc/channel.js.map +1 -0
- package/lib/common/message-rpc/channel.spec.d.ts +9 -0
- package/lib/common/message-rpc/channel.spec.d.ts.map +1 -0
- package/lib/common/message-rpc/channel.spec.js +80 -0
- package/lib/common/message-rpc/channel.spec.js.map +1 -0
- package/lib/common/message-rpc/index.d.ts +4 -0
- package/lib/common/message-rpc/index.d.ts.map +1 -0
- package/lib/{node/messaging/logger.js → common/message-rpc/index.js} +6 -19
- package/lib/common/message-rpc/index.js.map +1 -0
- package/lib/common/message-rpc/message-buffer.d.ts +50 -0
- package/lib/common/message-rpc/message-buffer.d.ts.map +1 -0
- package/lib/common/message-rpc/message-buffer.js +56 -0
- package/lib/common/message-rpc/message-buffer.js.map +1 -0
- package/lib/common/message-rpc/rpc-message-encoder.d.ts +171 -0
- package/lib/common/message-rpc/rpc-message-encoder.d.ts.map +1 -0
- package/lib/common/message-rpc/rpc-message-encoder.js +409 -0
- package/lib/common/message-rpc/rpc-message-encoder.js.map +1 -0
- package/lib/common/message-rpc/rpc-message-encoder.spec.d.ts +2 -0
- package/lib/common/message-rpc/rpc-message-encoder.spec.d.ts.map +1 -0
- package/lib/common/message-rpc/rpc-message-encoder.spec.js +49 -0
- package/lib/common/message-rpc/rpc-message-encoder.spec.js.map +1 -0
- package/lib/common/message-rpc/rpc-protocol.d.ts +61 -0
- package/lib/common/message-rpc/rpc-protocol.d.ts.map +1 -0
- package/lib/common/message-rpc/rpc-protocol.js +183 -0
- package/lib/common/message-rpc/rpc-protocol.js.map +1 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.d.ts +52 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.d.ts.map +1 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.js +169 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.js.map +1 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.spec.d.ts +2 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.spec.d.ts.map +1 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.spec.js +39 -0
- package/lib/common/message-rpc/uint8-array-message-buffer.spec.js.map +1 -0
- package/lib/common/messaging/abstract-connection-provider.d.ts +9 -8
- package/lib/common/messaging/abstract-connection-provider.d.ts.map +1 -1
- package/lib/common/messaging/abstract-connection-provider.js +20 -35
- package/lib/common/messaging/abstract-connection-provider.js.map +1 -1
- package/lib/common/messaging/connection-error-handler.d.ts +1 -2
- package/lib/common/messaging/connection-error-handler.d.ts.map +1 -1
- package/lib/common/messaging/connection-error-handler.js +1 -1
- package/lib/common/messaging/connection-error-handler.js.map +1 -1
- package/lib/common/messaging/handler.d.ts +2 -2
- package/lib/common/messaging/handler.d.ts.map +1 -1
- package/lib/common/messaging/proxy-factory.d.ts +13 -7
- package/lib/common/messaging/proxy-factory.d.ts.map +1 -1
- package/lib/common/messaging/proxy-factory.js +18 -13
- package/lib/common/messaging/proxy-factory.js.map +1 -1
- package/lib/common/messaging/proxy-factory.spec.js +4 -15
- package/lib/common/messaging/proxy-factory.spec.js.map +1 -1
- package/lib/common/messaging/web-socket-channel.d.ts +54 -48
- package/lib/common/messaging/web-socket-channel.d.ts.map +1 -1
- package/lib/common/messaging/web-socket-channel.js +41 -105
- package/lib/common/messaging/web-socket-channel.js.map +1 -1
- package/lib/common/nls.d.ts +2 -0
- package/lib/common/nls.d.ts.map +1 -1
- package/lib/common/nls.js +11 -0
- package/lib/common/nls.js.map +1 -1
- package/lib/common/preferences/preference-schema.d.ts +1 -5
- package/lib/common/preferences/preference-schema.d.ts.map +1 -1
- package/lib/common/preferences/preference-schema.js.map +1 -1
- package/lib/common/promise-util.d.ts +2 -1
- package/lib/common/promise-util.d.ts.map +1 -1
- package/lib/common/promise-util.js +8 -13
- package/lib/common/promise-util.js.map +1 -1
- package/lib/common/resource.d.ts +5 -0
- package/lib/common/resource.d.ts.map +1 -1
- package/lib/common/resource.js +28 -1
- package/lib/common/resource.js.map +1 -1
- package/lib/common/theme.d.ts +3 -2
- package/lib/common/theme.d.ts.map +1 -1
- package/lib/common/theme.js +5 -0
- package/lib/common/theme.js.map +1 -1
- package/lib/electron-browser/messaging/electron-ipc-connection-provider.d.ts +2 -2
- package/lib/electron-browser/messaging/electron-ipc-connection-provider.d.ts.map +1 -1
- package/lib/electron-browser/messaging/electron-ipc-connection-provider.js +18 -7
- package/lib/electron-browser/messaging/electron-ipc-connection-provider.js.map +1 -1
- package/lib/electron-browser/messaging/electron-ws-connection-provider.d.ts +2 -2
- package/lib/electron-browser/messaging/electron-ws-connection-provider.d.ts.map +1 -1
- package/lib/electron-browser/messaging/electron-ws-connection-provider.js +5 -7
- package/lib/electron-browser/messaging/electron-ws-connection-provider.js.map +1 -1
- package/lib/electron-main/event-utils.d.ts +1 -1
- package/lib/electron-main/messaging/electron-messaging-contribution.d.ts +37 -9
- package/lib/electron-main/messaging/electron-messaging-contribution.d.ts.map +1 -1
- package/lib/electron-main/messaging/electron-messaging-contribution.js +83 -68
- package/lib/electron-main/messaging/electron-messaging-contribution.js.map +1 -1
- package/lib/electron-main/messaging/electron-messaging-service.d.ts +2 -8
- package/lib/electron-main/messaging/electron-messaging-service.d.ts.map +1 -1
- package/lib/electron-main/messaging/electron-messaging-service.js.map +1 -1
- package/lib/node/messaging/binary-message-pipe.d.ts +45 -0
- package/lib/node/messaging/binary-message-pipe.d.ts.map +1 -0
- package/lib/node/messaging/binary-message-pipe.js +152 -0
- package/lib/node/messaging/binary-message-pipe.js.map +1 -0
- package/lib/node/messaging/ipc-bootstrap.js +2 -11
- package/lib/node/messaging/ipc-bootstrap.js.map +1 -1
- package/lib/node/messaging/ipc-channel.d.ts +26 -0
- package/lib/node/messaging/ipc-channel.d.ts.map +1 -0
- package/lib/node/messaging/ipc-channel.js +86 -0
- package/lib/node/messaging/ipc-channel.js.map +1 -0
- package/lib/node/messaging/ipc-connection-provider.d.ts +3 -5
- package/lib/node/messaging/ipc-connection-provider.d.ts.map +1 -1
- package/lib/node/messaging/ipc-connection-provider.js +14 -31
- package/lib/node/messaging/ipc-connection-provider.js.map +1 -1
- package/lib/node/messaging/ipc-protocol.d.ts +2 -2
- package/lib/node/messaging/ipc-protocol.d.ts.map +1 -1
- package/lib/node/messaging/messaging-contribution.d.ts +6 -9
- package/lib/node/messaging/messaging-contribution.d.ts.map +1 -1
- package/lib/node/messaging/messaging-contribution.js +23 -68
- package/lib/node/messaging/messaging-contribution.js.map +1 -1
- package/lib/node/messaging/messaging-service.d.ts +4 -23
- package/lib/node/messaging/messaging-service.d.ts.map +1 -1
- package/lib/node/messaging/messaging-service.js +1 -15
- package/lib/node/messaging/messaging-service.js.map +1 -1
- package/lib/node/messaging/test/test-web-socket-channel.d.ts +4 -2
- package/lib/node/messaging/test/test-web-socket-channel.d.ts.map +1 -1
- package/lib/node/messaging/test/test-web-socket-channel.js +25 -12
- package/lib/node/messaging/test/test-web-socket-channel.js.map +1 -1
- package/lib/node/request/proxy-cli-contribution.js +1 -1
- package/lib/node/request/proxy-cli-contribution.js.map +1 -1
- package/package.json +7 -10
- package/src/browser/color-application-contribution.ts +10 -17
- package/src/browser/color-registry.ts +0 -5
- package/src/browser/common-frontend-contribution.ts +26 -33
- package/src/browser/common-styling-participants.ts +307 -0
- package/src/browser/connection-status-service.spec.ts +1 -4
- package/src/browser/connection-status-service.ts +3 -3
- package/src/browser/context-menu-renderer.ts +13 -29
- package/src/browser/core-preferences.ts +6 -0
- package/src/browser/decoration-style.ts +6 -2
- package/src/browser/frontend-application-bindings.ts +1 -3
- package/src/browser/frontend-application-config-provider.ts +2 -0
- package/src/browser/frontend-application-module.ts +11 -4
- package/src/browser/i18n/i18n-frontend-module.ts +2 -0
- package/src/browser/i18n/language-quick-pick-service.ts +128 -0
- package/src/browser/index.ts +1 -0
- package/src/browser/keybinding.spec.ts +22 -27
- package/src/browser/keybinding.ts +2 -1
- package/src/browser/label-provider.ts +0 -13
- package/src/browser/logger-frontend-module.ts +8 -1
- package/src/browser/messaging/ws-connection-provider.ts +34 -25
- package/src/browser/preferences/preference-contribution.ts +3 -28
- package/src/browser/preferences/preference-proxy.spec.ts +3 -113
- package/src/browser/preferences/preference-proxy.ts +0 -4
- package/src/browser/preferences/preference-schema-provider.spec.ts +1 -4
- package/src/browser/preferences/preference-service.spec.ts +1 -5
- package/src/browser/preferences/preference-validation-service.spec.ts +2 -2
- package/src/browser/preferences/preference-validation-service.ts +2 -2
- package/src/browser/preloader.ts +9 -2
- package/src/browser/progress-status-bar-item.ts +1 -1
- package/src/browser/quick-input/quick-command-service.ts +3 -3
- package/src/browser/saveable.ts +5 -4
- package/src/browser/shell/application-shell.ts +42 -35
- package/src/browser/shell/shell-layout-restorer.ts +4 -6
- package/src/browser/shell/side-panel-handler.ts +3 -2
- package/src/browser/shell/tab-bars.ts +14 -4
- package/src/browser/source-tree/source-tree-widget.tsx +1 -1
- package/src/browser/source-tree/tree-source.ts +2 -1
- package/src/browser/style/breadcrumbs.css +0 -1
- package/src/browser/style/index.css +66 -29
- package/src/browser/style/menus.css +4 -2
- package/src/browser/style/select-component.css +2 -0
- package/src/browser/style/sidepanel.css +11 -25
- package/src/browser/style/status-bar.css +8 -17
- package/src/browser/style/tabs.css +0 -16
- package/src/browser/style/tooltip.css +3 -3
- package/src/browser/style/tree.css +27 -11
- package/src/browser/style/view-container.css +4 -0
- package/src/browser/styling-service.ts +76 -0
- package/src/browser/theming.ts +18 -45
- package/src/browser/tree/search-box.ts +5 -4
- package/src/browser/tree/test/tree-test-container.ts +2 -0
- package/src/browser/tree/tree-compression/compressed-tree-model.ts +8 -2
- package/src/browser/tree/tree-compression/compressed-tree-widget.tsx +4 -2
- package/src/browser/tree/tree-container.ts +4 -0
- package/src/browser/tree/tree-focus-service.ts +55 -0
- package/src/browser/tree/tree-model.ts +32 -8
- package/src/browser/tree/tree-selection-impl.ts +13 -4
- package/src/browser/tree/tree-selection-state.ts +7 -2
- package/src/browser/tree/tree-selection.ts +10 -0
- package/src/browser/tree/tree-widget-selection.ts +10 -1
- package/src/browser/tree/tree-widget.tsx +83 -43
- package/src/browser/tree/tree.ts +8 -2
- package/src/browser/view-container.ts +41 -4
- package/src/common/cancellation.ts +8 -0
- package/src/common/command.ts +14 -16
- package/src/common/index.ts +1 -0
- package/src/common/message-rpc/channel.spec.ts +88 -0
- package/src/common/message-rpc/channel.ts +260 -0
- package/src/{node/messaging/logger.ts → common/message-rpc/index.ts} +4 -23
- package/src/common/message-rpc/message-buffer.ts +99 -0
- package/src/common/message-rpc/rpc-message-encoder.spec.ts +55 -0
- package/src/common/message-rpc/rpc-message-encoder.ts +552 -0
- package/src/common/message-rpc/rpc-protocol.ts +217 -0
- package/src/common/message-rpc/uint8-array-message-buffer.spec.ts +41 -0
- package/src/common/message-rpc/uint8-array-message-buffer.ts +206 -0
- package/src/common/messaging/abstract-connection-provider.ts +28 -37
- package/src/common/messaging/connection-error-handler.ts +1 -2
- package/src/common/messaging/handler.ts +2 -2
- package/src/common/messaging/proxy-factory.spec.ts +4 -17
- package/src/common/messaging/proxy-factory.ts +27 -16
- package/src/common/messaging/web-socket-channel.ts +79 -135
- package/src/common/nls.ts +11 -0
- package/src/common/preferences/preference-schema.ts +1 -6
- package/src/common/promise-util.ts +13 -14
- package/src/common/resource.ts +29 -2
- package/src/common/theme.ts +6 -2
- package/src/electron-browser/messaging/electron-ipc-connection-provider.ts +21 -7
- package/src/electron-browser/messaging/electron-ws-connection-provider.ts +5 -8
- package/src/electron-main/messaging/electron-messaging-contribution.ts +87 -65
- package/src/electron-main/messaging/electron-messaging-service.ts +2 -8
- package/src/node/messaging/binary-message-pipe.ts +168 -0
- package/src/node/messaging/ipc-bootstrap.ts +3 -11
- package/src/node/messaging/ipc-channel.ts +97 -0
- package/src/node/messaging/ipc-connection-provider.ts +18 -35
- package/src/node/messaging/ipc-protocol.ts +2 -2
- package/src/node/messaging/messaging-contribution.ts +29 -74
- package/src/node/messaging/messaging-service.ts +4 -31
- package/src/node/messaging/test/test-web-socket-channel.ts +26 -17
- package/src/node/request/proxy-cli-contribution.ts +1 -1
- package/lib/browser/preferences/validated-preference-proxy.d.ts +0 -21
- package/lib/browser/preferences/validated-preference-proxy.d.ts.map +0 -1
- package/lib/browser/preferences/validated-preference-proxy.js +0 -118
- package/lib/browser/preferences/validated-preference-proxy.js.map +0 -1
- package/lib/node/messaging/logger.d.ts +0 -8
- package/lib/node/messaging/logger.d.ts.map +0 -1
- package/lib/node/messaging/logger.js.map +0 -1
- package/shared/vscode-ws-jsonrpc/index.d.ts +0 -1
- package/shared/vscode-ws-jsonrpc/index.js +0 -1
- package/src/browser/preferences/validated-preference-proxy.ts +0 -111
- package/src/browser/style/variables-bright.useable.css +0 -93
- package/src/browser/style/variables-dark.useable.css +0 -93
|
@@ -51,7 +51,7 @@ const navigatable_1 = require("./navigatable");
|
|
|
51
51
|
const quick_view_service_1 = require("./quick-input/quick-view-service");
|
|
52
52
|
const environment_1 = require("@theia/application-package/lib/environment");
|
|
53
53
|
const icon_theme_service_1 = require("./icon-theme-service");
|
|
54
|
-
const
|
|
54
|
+
const color_1 = require("../common/color");
|
|
55
55
|
const core_preferences_1 = require("./core-preferences");
|
|
56
56
|
const theming_1 = require("./theming");
|
|
57
57
|
const preferences_1 = require("./preferences");
|
|
@@ -73,6 +73,7 @@ const widgets_1 = require("./widgets");
|
|
|
73
73
|
const save_resource_service_1 = require("./save-resource-service");
|
|
74
74
|
const user_working_directory_provider_1 = require("./user-working-directory-provider");
|
|
75
75
|
const common_1 = require("../common");
|
|
76
|
+
const language_quick_pick_service_1 = require("./i18n/language-quick-pick-service");
|
|
76
77
|
var CommonMenus;
|
|
77
78
|
(function (CommonMenus) {
|
|
78
79
|
CommonMenus.FILE = [...menu_1.MAIN_MENU_BAR, '1_file'];
|
|
@@ -883,7 +884,11 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
883
884
|
execute: () => this.configureDisplayLanguage()
|
|
884
885
|
});
|
|
885
886
|
commandRegistry.registerCommand(CommonCommands.NEW_FILE, {
|
|
886
|
-
execute: async () =>
|
|
887
|
+
execute: async () => {
|
|
888
|
+
const untitledUri = this.untitledResourceResolver.createUntitledURI('', await this.workingDirProvider.getUserWorkingDir());
|
|
889
|
+
this.untitledResourceResolver.resolve(untitledUri);
|
|
890
|
+
return (0, opener_service_1.open)(this.openerService, untitledUri);
|
|
891
|
+
}
|
|
887
892
|
});
|
|
888
893
|
}
|
|
889
894
|
isElectron() {
|
|
@@ -1038,27 +1043,12 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1038
1043
|
}
|
|
1039
1044
|
}
|
|
1040
1045
|
async configureDisplayLanguage() {
|
|
1041
|
-
|
|
1042
|
-
|
|
1043
|
-
|
|
1044
|
-
|
|
1045
|
-
|
|
1046
|
-
items.push({
|
|
1047
|
-
label: languageId,
|
|
1048
|
-
execute: async () => {
|
|
1049
|
-
if (languageId !== nls_1.nls.locale && await this.confirmRestart()) {
|
|
1050
|
-
this.windowService.setSafeToShutDown();
|
|
1051
|
-
window.localStorage.setItem(nls_1.nls.localeId, languageId);
|
|
1052
|
-
this.windowService.reload();
|
|
1053
|
-
}
|
|
1054
|
-
}
|
|
1055
|
-
});
|
|
1056
|
-
}
|
|
1046
|
+
const languageId = await this.languageQuickPickService.pickDisplayLanguage();
|
|
1047
|
+
if (languageId && !nls_1.nls.isSelectedLocale(languageId) && await this.confirmRestart()) {
|
|
1048
|
+
nls_1.nls.setLocale(languageId);
|
|
1049
|
+
this.windowService.setSafeToShutDown();
|
|
1050
|
+
this.windowService.reload();
|
|
1057
1051
|
}
|
|
1058
|
-
(_a = this.quickInputService) === null || _a === void 0 ? void 0 : _a.showQuickPick(items, {
|
|
1059
|
-
placeholder: CommonCommands.CONFIGURE_DISPLAY_LANGUAGE.label,
|
|
1060
|
-
activeItem: items.find(item => item.label === (nls_1.nls.locale || 'en'))
|
|
1061
|
-
});
|
|
1062
1052
|
}
|
|
1063
1053
|
async confirmRestart() {
|
|
1064
1054
|
const shouldRestart = await new dialogs_1.ConfirmDialog({
|
|
@@ -1147,7 +1137,7 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1147
1137
|
colors.register(
|
|
1148
1138
|
// Base Colors should be aligned with https://code.visualstudio.com/api/references/theme-color#base-colors
|
|
1149
1139
|
// if not yet contributed by Monaco, check runtime css variables to learn
|
|
1150
|
-
{ id: 'selection.background', defaults: { dark: '#217daf', light: '#c0dbf1' }, description: 'Overall border color for focused elements. This color is only used if not overridden by a component.' }, { id: 'icon.foreground', defaults: { dark: '#C5C5C5', light: '#424242', hc: '#FFFFFF' }, description: 'The default color for icons in the workbench.' }, { id: 'sash.hoverBorder', defaults: { dark:
|
|
1140
|
+
{ id: 'selection.background', defaults: { dark: '#217daf', light: '#c0dbf1' }, description: 'Overall border color for focused elements. This color is only used if not overridden by a component.' }, { id: 'icon.foreground', defaults: { dark: '#C5C5C5', light: '#424242', hc: '#FFFFFF' }, description: 'The default color for icons in the workbench.' }, { id: 'sash.hoverBorder', defaults: { dark: color_1.Color.transparent('focusBorder', 0.99), light: color_1.Color.transparent('focusBorder', 0.99), hc: color_1.Color.transparent('focusBorder', 0.99) }, description: 'The hover border color for draggable sashes.' }, { id: 'sash.activeBorder', defaults: { dark: 'focusBorder', light: 'focusBorder', hc: 'focusBorder' }, description: 'The active border color for draggable sashes.' },
|
|
1151
1141
|
// Window border colors should be aligned with https://code.visualstudio.com/api/references/theme-color#window-border
|
|
1152
1142
|
{
|
|
1153
1143
|
id: 'window.activeBorder', defaults: {
|
|
@@ -1161,7 +1151,7 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1161
1151
|
},
|
|
1162
1152
|
// Buttons should be aligned with https://code.visualstudio.com/api/references/theme-color#button-control
|
|
1163
1153
|
// if not yet contributed by Monaco, check runtime css variables to learn
|
|
1164
|
-
{ id: 'button.foreground', defaults: { dark:
|
|
1154
|
+
{ id: 'button.foreground', defaults: { dark: color_1.Color.white, light: color_1.Color.white, hc: color_1.Color.white }, description: 'Button foreground color.' }, { id: 'button.background', defaults: { dark: '#0E639C', light: '#007ACC' }, description: 'Button background color.' }, { id: 'button.hoverBackground', defaults: { dark: color_1.Color.lighten('button.background', 0.2), light: color_1.Color.darken('button.background', 0.2) }, description: 'Button background color when hovering.' },
|
|
1165
1155
|
// Activity Bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#activity-bar
|
|
1166
1156
|
{
|
|
1167
1157
|
id: 'activityBar.background', defaults: {
|
|
@@ -1171,15 +1161,15 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1171
1161
|
}, description: 'Activity bar background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
|
|
1172
1162
|
}, {
|
|
1173
1163
|
id: 'activityBar.foreground', defaults: {
|
|
1174
|
-
dark:
|
|
1175
|
-
light:
|
|
1176
|
-
hc:
|
|
1164
|
+
dark: color_1.Color.white,
|
|
1165
|
+
light: color_1.Color.white,
|
|
1166
|
+
hc: color_1.Color.white
|
|
1177
1167
|
}, description: 'Activity bar item foreground color when it is active. The activity bar is showing on the far left or right and allows to switch between views of the side bar.',
|
|
1178
1168
|
}, {
|
|
1179
1169
|
id: 'activityBar.inactiveForeground', defaults: {
|
|
1180
|
-
dark:
|
|
1181
|
-
light:
|
|
1182
|
-
hc:
|
|
1170
|
+
dark: color_1.Color.transparent('activityBar.foreground', 0.4),
|
|
1171
|
+
light: color_1.Color.transparent('activityBar.foreground', 0.4),
|
|
1172
|
+
hc: color_1.Color.white
|
|
1183
1173
|
}, description: 'Activity bar item foreground color when it is inactive. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
|
|
1184
1174
|
}, {
|
|
1185
1175
|
id: 'activityBar.border', defaults: {
|
|
@@ -1195,9 +1185,9 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1195
1185
|
description: 'Activity bar focus border color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
|
|
1196
1186
|
}, { id: 'activityBar.activeBackground', description: 'Activity bar background color for the active item. The activity bar is showing on the far left or right and allows to switch between views of the side bar.' }, {
|
|
1197
1187
|
id: 'activityBar.dropBackground', defaults: {
|
|
1198
|
-
dark:
|
|
1199
|
-
light:
|
|
1200
|
-
hc:
|
|
1188
|
+
dark: color_1.Color.transparent('#ffffff', 0.12),
|
|
1189
|
+
light: color_1.Color.transparent('#ffffff', 0.12),
|
|
1190
|
+
hc: color_1.Color.transparent('#ffffff', 0.12),
|
|
1201
1191
|
}, description: 'Drag and drop feedback color for the activity bar items. The color should have transparency so that the activity bar entries can still shine through. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
|
|
1202
1192
|
}, {
|
|
1203
1193
|
id: 'activityBarBadge.background', defaults: {
|
|
@@ -1207,9 +1197,9 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1207
1197
|
}, description: 'Activity notification badge background color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
|
|
1208
1198
|
}, {
|
|
1209
1199
|
id: 'activityBarBadge.foreground', defaults: {
|
|
1210
|
-
dark:
|
|
1211
|
-
light:
|
|
1212
|
-
hc:
|
|
1200
|
+
dark: color_1.Color.white,
|
|
1201
|
+
light: color_1.Color.white,
|
|
1202
|
+
hc: color_1.Color.white
|
|
1213
1203
|
}, description: 'Activity notification badge foreground color. The activity bar is showing on the far left or right and allows to switch between views of the side bar.'
|
|
1214
1204
|
},
|
|
1215
1205
|
// Side Bar should be aligned with https://code.visualstudio.com/api/references/theme-color#side-bar
|
|
@@ -1221,7 +1211,7 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1221
1211
|
// list.focusBackground, list.focusForeground, list.inactiveFocusBackground, list.filterMatchBorder,
|
|
1222
1212
|
// list.dropBackground, listFilterWidget.outline, listFilterWidget.noMatchesOutline
|
|
1223
1213
|
// list.invalidItemForeground => tree node needs an respective class
|
|
1224
|
-
{ id: 'list.activeSelectionBackground', defaults: { dark: '#094771', light: '#0074E8' }, description: 'List/Tree background color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.activeSelectionForeground', defaults: { dark: '#FFF', light: '#FFF' }, description: 'List/Tree foreground color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.inactiveSelectionBackground', defaults: { dark: '#37373D', light: '#E4E6F1' }, description: 'List/Tree background color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.inactiveSelectionForeground', description: 'List/Tree foreground color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.hoverBackground', defaults: { dark: '#2A2D2E', light: '#F0F0F0' }, description: 'List/Tree background when hovering over items using the mouse.' }, { id: 'list.hoverForeground', description: 'List/Tree foreground when hovering over items using the mouse.' }, { id: 'list.errorForeground', defaults: { dark: '#F88070', light: '#B01011' }, description: 'Foreground color of list items containing errors.' }, { id: 'list.warningForeground', defaults: { dark: '#CCA700', light: '#855F00' }, description: 'Foreground color of list items containing warnings.' }, { id: 'list.filterMatchBackground', defaults: { dark: 'editor.findMatchHighlightBackground', light: 'editor.findMatchHighlightBackground' }, description: 'Background color of the filtered match.' }, { id: 'list.highlightForeground', defaults: { dark: '#18A3FF', light: '#0066BF', hc: 'focusBorder' }, description: 'List/Tree foreground color of the match highlights when searching inside the list/tree.' }, { id: 'list.focusHighlightForeground', defaults: { dark: 'list.highlightForeground', light: 'list.activeSelectionForeground', hc: 'list.highlightForeground' }, description: 'List/Tree foreground color of the match highlights on actively focused items when searching inside the list/tree.' }, { id: 'tree.inactiveIndentGuidesStroke', defaults: { dark:
|
|
1214
|
+
{ id: 'list.activeSelectionBackground', defaults: { dark: '#094771', light: '#0074E8' }, description: 'List/Tree background color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.activeSelectionForeground', defaults: { dark: '#FFF', light: '#FFF' }, description: 'List/Tree foreground color for the selected item when the list/tree is active. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.inactiveSelectionBackground', defaults: { dark: '#37373D', light: '#E4E6F1' }, description: 'List/Tree background color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.inactiveSelectionForeground', description: 'List/Tree foreground color for the selected item when the list/tree is inactive. An active list/tree has keyboard focus, an inactive does not.' }, { id: 'list.hoverBackground', defaults: { dark: '#2A2D2E', light: '#F0F0F0' }, description: 'List/Tree background when hovering over items using the mouse.' }, { id: 'list.hoverForeground', description: 'List/Tree foreground when hovering over items using the mouse.' }, { id: 'list.errorForeground', defaults: { dark: '#F88070', light: '#B01011' }, description: 'Foreground color of list items containing errors.' }, { id: 'list.warningForeground', defaults: { dark: '#CCA700', light: '#855F00' }, description: 'Foreground color of list items containing warnings.' }, { id: 'list.filterMatchBackground', defaults: { dark: 'editor.findMatchHighlightBackground', light: 'editor.findMatchHighlightBackground' }, description: 'Background color of the filtered match.' }, { id: 'list.highlightForeground', defaults: { dark: '#18A3FF', light: '#0066BF', hc: 'focusBorder' }, description: 'List/Tree foreground color of the match highlights when searching inside the list/tree.' }, { id: 'list.focusHighlightForeground', defaults: { dark: 'list.highlightForeground', light: 'list.activeSelectionForeground', hc: 'list.highlightForeground' }, description: 'List/Tree foreground color of the match highlights on actively focused items when searching inside the list/tree.' }, { id: 'tree.inactiveIndentGuidesStroke', defaults: { dark: color_1.Color.transparent('tree.indentGuidesStroke', 0.4), light: color_1.Color.transparent('tree.indentGuidesStroke', 0.4), hc: color_1.Color.transparent('tree.indentGuidesStroke', 0.4) }, description: 'Tree stroke color for the inactive indentation guides.' },
|
|
1225
1215
|
// Editor Group & Tabs colors should be aligned with https://code.visualstudio.com/api/references/theme-color#editor-groups-tabs
|
|
1226
1216
|
{
|
|
1227
1217
|
id: 'editorGroup.border',
|
|
@@ -1234,8 +1224,8 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1234
1224
|
}, {
|
|
1235
1225
|
id: 'editorGroup.dropBackground',
|
|
1236
1226
|
defaults: {
|
|
1237
|
-
dark:
|
|
1238
|
-
light:
|
|
1227
|
+
dark: color_1.Color.transparent('#53595D', 0.5),
|
|
1228
|
+
light: color_1.Color.transparent('#2677CB', 0.18)
|
|
1239
1229
|
},
|
|
1240
1230
|
description: 'Background color when dragging editors around. The color should have transparency so that the editor contents can still shine through.'
|
|
1241
1231
|
}, {
|
|
@@ -1277,27 +1267,27 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1277
1267
|
}, {
|
|
1278
1268
|
id: 'tab.activeForeground',
|
|
1279
1269
|
defaults: {
|
|
1280
|
-
dark:
|
|
1270
|
+
dark: color_1.Color.white,
|
|
1281
1271
|
light: '#333333',
|
|
1282
|
-
hc:
|
|
1272
|
+
hc: color_1.Color.white
|
|
1283
1273
|
}, description: 'Active tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1284
1274
|
}, {
|
|
1285
1275
|
id: 'tab.inactiveForeground', defaults: {
|
|
1286
|
-
dark:
|
|
1287
|
-
light:
|
|
1288
|
-
hc:
|
|
1276
|
+
dark: color_1.Color.transparent('tab.activeForeground', 0.5),
|
|
1277
|
+
light: color_1.Color.transparent('tab.activeForeground', 0.7),
|
|
1278
|
+
hc: color_1.Color.white
|
|
1289
1279
|
}, description: 'Inactive tab foreground color in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1290
1280
|
}, {
|
|
1291
1281
|
id: 'tab.unfocusedActiveForeground', defaults: {
|
|
1292
|
-
dark:
|
|
1293
|
-
light:
|
|
1294
|
-
hc:
|
|
1282
|
+
dark: color_1.Color.transparent('tab.activeForeground', 0.5),
|
|
1283
|
+
light: color_1.Color.transparent('tab.activeForeground', 0.7),
|
|
1284
|
+
hc: color_1.Color.white
|
|
1295
1285
|
}, description: 'Active tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1296
1286
|
}, {
|
|
1297
1287
|
id: 'tab.unfocusedInactiveForeground', defaults: {
|
|
1298
|
-
dark:
|
|
1299
|
-
light:
|
|
1300
|
-
hc:
|
|
1288
|
+
dark: color_1.Color.transparent('tab.inactiveForeground', 0.5),
|
|
1289
|
+
light: color_1.Color.transparent('tab.inactiveForeground', 0.5),
|
|
1290
|
+
hc: color_1.Color.white
|
|
1301
1291
|
}, description: 'Inactive tab foreground color in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1302
1292
|
}, {
|
|
1303
1293
|
id: 'tab.border', defaults: {
|
|
@@ -1311,8 +1301,8 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1311
1301
|
}, {
|
|
1312
1302
|
id: 'tab.unfocusedActiveBorder',
|
|
1313
1303
|
defaults: {
|
|
1314
|
-
dark:
|
|
1315
|
-
light:
|
|
1304
|
+
dark: color_1.Color.transparent('tab.activeBorder', 0.5),
|
|
1305
|
+
light: color_1.Color.transparent('tab.activeBorder', 0.7)
|
|
1316
1306
|
},
|
|
1317
1307
|
description: 'Border on the bottom of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1318
1308
|
}, {
|
|
@@ -1320,28 +1310,24 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1320
1310
|
description: 'Border to the top of an active tab. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1321
1311
|
}, {
|
|
1322
1312
|
id: 'tab.unfocusedActiveBorderTop', defaults: {
|
|
1323
|
-
dark:
|
|
1324
|
-
light:
|
|
1313
|
+
dark: color_1.Color.transparent('tab.activeBorderTop', 0.5),
|
|
1314
|
+
light: color_1.Color.transparent('tab.activeBorderTop', 0.7)
|
|
1325
1315
|
}, description: 'Border to the top of an active tab in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1326
1316
|
}, {
|
|
1327
1317
|
id: 'tab.hoverBackground',
|
|
1328
|
-
defaults: {
|
|
1329
|
-
dark: 'tab.inactiveBackground',
|
|
1330
|
-
light: 'tab.inactiveBackground'
|
|
1331
|
-
},
|
|
1332
1318
|
description: 'Tab background color when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1333
1319
|
}, {
|
|
1334
1320
|
id: 'tab.unfocusedHoverBackground', defaults: {
|
|
1335
|
-
dark:
|
|
1336
|
-
light:
|
|
1321
|
+
dark: color_1.Color.transparent('tab.hoverBackground', 0.5),
|
|
1322
|
+
light: color_1.Color.transparent('tab.hoverBackground', 0.7)
|
|
1337
1323
|
}, description: 'Tab background color in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1338
1324
|
}, {
|
|
1339
1325
|
id: 'tab.hoverBorder',
|
|
1340
1326
|
description: 'Border to highlight tabs when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1341
1327
|
}, {
|
|
1342
1328
|
id: 'tab.unfocusedHoverBorder', defaults: {
|
|
1343
|
-
dark:
|
|
1344
|
-
light:
|
|
1329
|
+
dark: color_1.Color.transparent('tab.hoverBorder', 0.5),
|
|
1330
|
+
light: color_1.Color.transparent('tab.hoverBorder', 0.7)
|
|
1345
1331
|
}, description: 'Border to highlight tabs in an unfocused group when hovering. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1346
1332
|
}, {
|
|
1347
1333
|
id: 'tab.activeModifiedBorder', defaults: {
|
|
@@ -1350,21 +1336,21 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1350
1336
|
}, description: 'Border on the top of modified (dirty) active tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1351
1337
|
}, {
|
|
1352
1338
|
id: 'tab.inactiveModifiedBorder', defaults: {
|
|
1353
|
-
dark:
|
|
1354
|
-
light:
|
|
1355
|
-
hc:
|
|
1339
|
+
dark: color_1.Color.transparent('tab.activeModifiedBorder', 0.5),
|
|
1340
|
+
light: color_1.Color.transparent('tab.activeModifiedBorder', 0.5),
|
|
1341
|
+
hc: color_1.Color.white
|
|
1356
1342
|
}, description: 'Border on the top of modified (dirty) inactive tabs in an active group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1357
1343
|
}, {
|
|
1358
1344
|
id: 'tab.unfocusedActiveModifiedBorder', defaults: {
|
|
1359
|
-
dark:
|
|
1360
|
-
light:
|
|
1361
|
-
hc:
|
|
1345
|
+
dark: color_1.Color.transparent('tab.activeModifiedBorder', 0.5),
|
|
1346
|
+
light: color_1.Color.transparent('tab.activeModifiedBorder', 0.7),
|
|
1347
|
+
hc: color_1.Color.white
|
|
1362
1348
|
}, description: 'Border on the top of modified (dirty) active tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1363
1349
|
}, {
|
|
1364
1350
|
id: 'tab.unfocusedInactiveModifiedBorder', defaults: {
|
|
1365
|
-
dark:
|
|
1366
|
-
light:
|
|
1367
|
-
hc:
|
|
1351
|
+
dark: color_1.Color.transparent('tab.inactiveModifiedBorder', 0.5),
|
|
1352
|
+
light: color_1.Color.transparent('tab.inactiveModifiedBorder', 0.5),
|
|
1353
|
+
hc: color_1.Color.white
|
|
1368
1354
|
}, description: 'Border on the top of modified (dirty) inactive tabs in an unfocused group. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.'
|
|
1369
1355
|
},
|
|
1370
1356
|
// Status bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#status-bar-colors
|
|
@@ -1404,54 +1390,54 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1404
1390
|
}, description: 'Status bar border color separating to the sidebar and editor when no folder is opened. The status bar is shown in the bottom of the window.'
|
|
1405
1391
|
}, {
|
|
1406
1392
|
id: 'statusBarItem.activeBackground', defaults: {
|
|
1407
|
-
dark:
|
|
1408
|
-
light:
|
|
1409
|
-
hc:
|
|
1393
|
+
dark: color_1.Color.rgba(255, 255, 255, 0.18),
|
|
1394
|
+
light: color_1.Color.rgba(255, 255, 255, 0.18),
|
|
1395
|
+
hc: color_1.Color.rgba(255, 255, 255, 0.18)
|
|
1410
1396
|
}, description: 'Status bar item background color when clicking. The status bar is shown in the bottom of the window.'
|
|
1411
1397
|
}, {
|
|
1412
1398
|
id: 'statusBarItem.hoverBackground', defaults: {
|
|
1413
|
-
dark:
|
|
1414
|
-
light:
|
|
1415
|
-
hc:
|
|
1399
|
+
dark: color_1.Color.rgba(255, 255, 255, 0.12),
|
|
1400
|
+
light: color_1.Color.rgba(255, 255, 255, 0.12),
|
|
1401
|
+
hc: color_1.Color.rgba(255, 255, 255, 0.12)
|
|
1416
1402
|
}, description: 'Status bar item background color when hovering. The status bar is shown in the bottom of the window.'
|
|
1417
1403
|
}, {
|
|
1418
1404
|
id: 'statusBarItem.errorBackground', defaults: {
|
|
1419
|
-
dark:
|
|
1420
|
-
light:
|
|
1405
|
+
dark: color_1.Color.darken('errorBackground', 0.4),
|
|
1406
|
+
light: color_1.Color.darken('errorBackground', 0.4),
|
|
1421
1407
|
hc: undefined,
|
|
1422
1408
|
}, description: 'Status bar error items background color. Error items stand out from other status bar entries to indicate error conditions. The status bar is shown in the bottom of the window.'
|
|
1423
1409
|
}, {
|
|
1424
1410
|
id: 'statusBarItem.errorForeground', defaults: {
|
|
1425
|
-
dark:
|
|
1426
|
-
light:
|
|
1427
|
-
hc:
|
|
1411
|
+
dark: color_1.Color.white,
|
|
1412
|
+
light: color_1.Color.white,
|
|
1413
|
+
hc: color_1.Color.white
|
|
1428
1414
|
}, description: 'Status bar error items foreground color. Error items stand out from other status bar entries to indicate error conditions. The status bar is shown in the bottom of the window.'
|
|
1429
1415
|
}, {
|
|
1430
1416
|
id: 'statusBarItem.warningBackground', defaults: {
|
|
1431
|
-
dark:
|
|
1432
|
-
light:
|
|
1417
|
+
dark: color_1.Color.darken('warningBackground', 0.4),
|
|
1418
|
+
light: color_1.Color.darken('warningBackground', 0.4),
|
|
1433
1419
|
hc: undefined
|
|
1434
1420
|
}, description: 'Status bar warning items background color. Warning items stand out from other status bar entries to indicate warning conditions. The status bar is shown in the bottom of the window.'
|
|
1435
1421
|
}, {
|
|
1436
1422
|
id: 'statusBarItem.warningForeground', defaults: {
|
|
1437
|
-
dark:
|
|
1438
|
-
light:
|
|
1439
|
-
hc:
|
|
1423
|
+
dark: color_1.Color.white,
|
|
1424
|
+
light: color_1.Color.white,
|
|
1425
|
+
hc: color_1.Color.white
|
|
1440
1426
|
}, description: 'Status bar warning items foreground color. Warning items stand out from other status bar entries to indicate warning conditions. The status bar is shown in the bottom of the window.'
|
|
1441
1427
|
},
|
|
1442
1428
|
// Quickinput colors should be aligned with https://code.visualstudio.com/api/references/theme-color#quick-picker
|
|
1443
1429
|
// if not yet contributed by Monaco, check runtime css variables to learn.
|
|
1444
1430
|
{
|
|
1445
1431
|
id: 'quickInput.background', defaults: {
|
|
1446
|
-
dark: '
|
|
1447
|
-
light: '
|
|
1448
|
-
hc: '
|
|
1432
|
+
dark: 'editorWidget.background',
|
|
1433
|
+
light: 'editorWidget.background',
|
|
1434
|
+
hc: 'editorWidget.background'
|
|
1449
1435
|
}, description: 'Quick Input background color. The Quick Input widget is the container for views like the color theme picker.'
|
|
1450
1436
|
}, {
|
|
1451
1437
|
id: 'quickInput.foreground', defaults: {
|
|
1452
|
-
dark: '
|
|
1453
|
-
light: '
|
|
1454
|
-
hc: '
|
|
1438
|
+
dark: 'editorWidget.foreground',
|
|
1439
|
+
light: 'editorWidget.foreground',
|
|
1440
|
+
hc: 'editorWidget.foreground'
|
|
1455
1441
|
}, description: 'Quick Input foreground color. The Quick Input widget is the container for views like the color theme picker.'
|
|
1456
1442
|
}, {
|
|
1457
1443
|
id: 'quickInput.list.focusBackground', defaults: {
|
|
@@ -1479,19 +1465,19 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1479
1465
|
}, description: 'Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal.'
|
|
1480
1466
|
}, {
|
|
1481
1467
|
id: 'panel.border', defaults: {
|
|
1482
|
-
dark:
|
|
1468
|
+
dark: color_1.Color.transparent('#808080', 0.35), light: color_1.Color.transparent('#808080', 0.35), hc: 'contrastBorder'
|
|
1483
1469
|
}, description: 'Panel border color to separate the panel from the editor. Panels are shown below the editor area and contain views like output and integrated terminal.'
|
|
1484
1470
|
}, {
|
|
1485
1471
|
id: 'panel.dropBackground', defaults: {
|
|
1486
|
-
dark:
|
|
1472
|
+
dark: color_1.Color.rgba(255, 255, 255, 0.12), light: color_1.Color.transparent('#2677CB', 0.18), hc: color_1.Color.rgba(255, 255, 255, 0.12)
|
|
1487
1473
|
}, description: 'Drag and drop feedback color for the panel title items. The color should have transparency so that the panel entries can still shine through. Panels are shown below the editor area and contain views like output and integrated terminal.'
|
|
1488
1474
|
}, {
|
|
1489
1475
|
id: 'panelTitle.activeForeground', defaults: {
|
|
1490
|
-
dark: '#E7E7E7', light: '#424242', hc:
|
|
1476
|
+
dark: '#E7E7E7', light: '#424242', hc: color_1.Color.white
|
|
1491
1477
|
}, description: 'Title color for the active panel. Panels are shown below the editor area and contain views like output and integrated terminal.'
|
|
1492
1478
|
}, {
|
|
1493
1479
|
id: 'panelTitle.inactiveForeground', defaults: {
|
|
1494
|
-
dark:
|
|
1480
|
+
dark: color_1.Color.transparent('panelTitle.activeForeground', 0.6), light: color_1.Color.transparent('panelTitle.activeForeground', 0.75), hc: color_1.Color.white
|
|
1495
1481
|
}, description: 'Title color for the inactive panel. Panels are shown below the editor area and contain views like output and integrated terminal.'
|
|
1496
1482
|
}, {
|
|
1497
1483
|
id: 'panelTitle.activeBorder', defaults: {
|
|
@@ -1502,7 +1488,7 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1502
1488
|
description: 'Input box border for inputs in the panel.'
|
|
1503
1489
|
}, {
|
|
1504
1490
|
id: 'imagePreview.border', defaults: {
|
|
1505
|
-
dark:
|
|
1491
|
+
dark: color_1.Color.transparent('#808080', 0.35), light: color_1.Color.transparent('#808080', 0.35), hc: 'contrastBorder'
|
|
1506
1492
|
}, description: 'Border color for image in image preview.'
|
|
1507
1493
|
},
|
|
1508
1494
|
// Title Bar colors should be aligned with https://code.visualstudio.com/api/references/theme-color#title-bar-colors
|
|
@@ -1514,8 +1500,8 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1514
1500
|
}, description: 'Title bar foreground when the window is active. Note that this color is currently only supported on macOS.'
|
|
1515
1501
|
}, {
|
|
1516
1502
|
id: 'titleBar.inactiveForeground', defaults: {
|
|
1517
|
-
dark:
|
|
1518
|
-
light:
|
|
1503
|
+
dark: color_1.Color.transparent('titleBar.activeForeground', 0.6),
|
|
1504
|
+
light: color_1.Color.transparent('titleBar.activeForeground', 0.6)
|
|
1519
1505
|
}, description: 'Title bar foreground when the window is inactive. Note that this color is currently only supported on macOS.'
|
|
1520
1506
|
}, {
|
|
1521
1507
|
id: 'titleBar.activeBackground', defaults: {
|
|
@@ -1525,8 +1511,8 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1525
1511
|
}, description: 'Title bar background when the window is active. Note that this color is currently only supported on macOS.'
|
|
1526
1512
|
}, {
|
|
1527
1513
|
id: 'titleBar.inactiveBackground', defaults: {
|
|
1528
|
-
dark:
|
|
1529
|
-
light:
|
|
1514
|
+
dark: color_1.Color.transparent('titleBar.activeBackground', 0.6),
|
|
1515
|
+
light: color_1.Color.transparent('titleBar.activeBackground', 0.6)
|
|
1530
1516
|
}, description: 'Title bar background when the window is inactive. Note that this color is currently only supported on macOS.'
|
|
1531
1517
|
}, {
|
|
1532
1518
|
id: 'titleBar.border', defaults: {
|
|
@@ -1542,8 +1528,8 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1542
1528
|
}, description: 'Foreground color of the selected menu item in the menubar.'
|
|
1543
1529
|
}, {
|
|
1544
1530
|
id: 'menubar.selectionBackground', defaults: {
|
|
1545
|
-
dark:
|
|
1546
|
-
light:
|
|
1531
|
+
dark: color_1.Color.transparent('#ffffff', 0.1),
|
|
1532
|
+
light: color_1.Color.transparent('#000000', 0.1)
|
|
1547
1533
|
}, description: 'Background color of the selected menu item in the menubar.'
|
|
1548
1534
|
}, {
|
|
1549
1535
|
id: 'menubar.selectionBorder', defaults: {
|
|
@@ -1580,22 +1566,22 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1580
1566
|
description: 'Color of a separator menu item in menus.'
|
|
1581
1567
|
},
|
|
1582
1568
|
// Welcome Page colors should be aligned with https://code.visualstudio.com/api/references/theme-color#welcome-page
|
|
1583
|
-
{ id: 'welcomePage.background', description: 'Background color for the Welcome page.' }, { id: 'welcomePage.buttonBackground', defaults: { dark:
|
|
1569
|
+
{ id: 'welcomePage.background', description: 'Background color for the Welcome page.' }, { id: 'welcomePage.buttonBackground', defaults: { dark: color_1.Color.rgba(0, 0, 0, .2), light: color_1.Color.rgba(0, 0, 0, .04), hc: color_1.Color.black }, description: 'Background color for the buttons on the Welcome page.' }, { id: 'welcomePage.buttonHoverBackground', defaults: { dark: color_1.Color.rgba(200, 235, 255, .072), light: color_1.Color.rgba(0, 0, 0, .10) }, description: 'Hover background color for the buttons on the Welcome page.' }, { id: 'walkThrough.embeddedEditorBackground', defaults: { dark: color_1.Color.rgba(0, 0, 0, .4), light: '#f4f4f4' }, description: 'Background color for the embedded editors on the Interactive Playground.' },
|
|
1584
1570
|
// Dropdown colors should be aligned with https://code.visualstudio.com/api/references/theme-color#dropdown-control
|
|
1585
1571
|
{
|
|
1586
1572
|
id: 'dropdown.background', defaults: {
|
|
1587
|
-
light:
|
|
1573
|
+
light: color_1.Color.white,
|
|
1588
1574
|
dark: '#3C3C3C',
|
|
1589
|
-
hc:
|
|
1575
|
+
hc: color_1.Color.black
|
|
1590
1576
|
}, description: 'Dropdown background.'
|
|
1591
1577
|
}, {
|
|
1592
1578
|
id: 'dropdown.listBackground', defaults: {
|
|
1593
|
-
hc:
|
|
1579
|
+
hc: color_1.Color.black
|
|
1594
1580
|
}, description: 'Dropdown list background.'
|
|
1595
1581
|
}, {
|
|
1596
1582
|
id: 'dropdown.foreground', defaults: {
|
|
1597
1583
|
dark: '#F0F0F0',
|
|
1598
|
-
hc:
|
|
1584
|
+
hc: color_1.Color.white
|
|
1599
1585
|
}, description: 'Dropdown foreground.'
|
|
1600
1586
|
}, {
|
|
1601
1587
|
id: 'dropdown.border', defaults: {
|
|
@@ -1611,9 +1597,9 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1611
1597
|
}, description: 'The foreground color for a section header or active title.'
|
|
1612
1598
|
}, {
|
|
1613
1599
|
id: 'settings.modifiedItemIndicator', defaults: {
|
|
1614
|
-
light:
|
|
1615
|
-
dark:
|
|
1616
|
-
hc:
|
|
1600
|
+
light: color_1.Color.rgba(102, 175, 224),
|
|
1601
|
+
dark: color_1.Color.rgba(12, 125, 157),
|
|
1602
|
+
hc: color_1.Color.rgba(0, 73, 122)
|
|
1617
1603
|
}, description: 'The color of the modified setting indicator.'
|
|
1618
1604
|
}, {
|
|
1619
1605
|
id: 'settings.dropdownBackground', defaults: { dark: 'dropdown.background', light: 'dropdown.background', hc: 'dropdown.background' },
|
|
@@ -1668,20 +1654,20 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1668
1654
|
}, description: 'Settings editor number input box border.'
|
|
1669
1655
|
}, {
|
|
1670
1656
|
id: 'settings.focusedRowBackground', defaults: {
|
|
1671
|
-
dark:
|
|
1672
|
-
light:
|
|
1657
|
+
dark: color_1.Color.transparent('#808080', 0.14),
|
|
1658
|
+
light: color_1.Color.transparent('#808080', 0.03),
|
|
1673
1659
|
hc: undefined
|
|
1674
1660
|
}, description: 'The background color of a settings row when focused.'
|
|
1675
1661
|
}, {
|
|
1676
1662
|
id: 'settings.rowHoverBackground', defaults: {
|
|
1677
|
-
dark:
|
|
1678
|
-
light:
|
|
1663
|
+
dark: color_1.Color.transparent('#808080', 0.07),
|
|
1664
|
+
light: color_1.Color.transparent('#808080', 0.05),
|
|
1679
1665
|
hc: undefined
|
|
1680
1666
|
}, description: 'The background color of a settings row when hovered.'
|
|
1681
1667
|
}, {
|
|
1682
1668
|
id: 'settings.focusedRowBorder', defaults: {
|
|
1683
|
-
dark:
|
|
1684
|
-
light:
|
|
1669
|
+
dark: color_1.Color.rgba(255, 255, 255, 0.12),
|
|
1670
|
+
light: color_1.Color.rgba(0, 0, 0, 0.12),
|
|
1685
1671
|
hc: 'focusBorder'
|
|
1686
1672
|
}, description: "The color of the row's top and bottom border when the row is focused."
|
|
1687
1673
|
},
|
|
@@ -1701,9 +1687,9 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1701
1687
|
description: 'Color of a variable name.'
|
|
1702
1688
|
}, {
|
|
1703
1689
|
id: 'variable.value.color', defaults: {
|
|
1704
|
-
dark:
|
|
1705
|
-
light:
|
|
1706
|
-
hc:
|
|
1690
|
+
dark: color_1.Color.rgba(204, 204, 204, 0.6),
|
|
1691
|
+
light: color_1.Color.rgba(108, 108, 108, 0.8),
|
|
1692
|
+
hc: color_1.Color.rgba(204, 204, 204, 0.6)
|
|
1707
1693
|
},
|
|
1708
1694
|
description: 'Color of a variable value.'
|
|
1709
1695
|
}, {
|
|
@@ -1732,7 +1718,7 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1732
1718
|
{
|
|
1733
1719
|
id: 'ansi.black.color', defaults: {
|
|
1734
1720
|
dark: '#A0A0A0',
|
|
1735
|
-
light:
|
|
1721
|
+
light: color_1.Color.rgba(128, 128, 128),
|
|
1736
1722
|
hc: '#A0A0A0'
|
|
1737
1723
|
},
|
|
1738
1724
|
description: 'ANSI black color'
|
|
@@ -1760,21 +1746,21 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1760
1746
|
}, {
|
|
1761
1747
|
id: 'ansi.blue.color', defaults: {
|
|
1762
1748
|
dark: '#6286BB',
|
|
1763
|
-
light:
|
|
1749
|
+
light: color_1.Color.rgba(0, 0, 139),
|
|
1764
1750
|
hc: '#6286BB'
|
|
1765
1751
|
},
|
|
1766
1752
|
description: 'ANSI blue color'
|
|
1767
1753
|
}, {
|
|
1768
1754
|
id: 'ansi.magenta.color', defaults: {
|
|
1769
1755
|
dark: '#914191',
|
|
1770
|
-
light:
|
|
1756
|
+
light: color_1.Color.rgba(139, 0, 139),
|
|
1771
1757
|
hc: '#914191'
|
|
1772
1758
|
},
|
|
1773
1759
|
description: 'ANSI magenta color'
|
|
1774
1760
|
}, {
|
|
1775
1761
|
id: 'ansi.cyan.color', defaults: {
|
|
1776
1762
|
dark: '#218D8D',
|
|
1777
|
-
light:
|
|
1763
|
+
light: color_1.Color.rgba(0, 139, 139),
|
|
1778
1764
|
hc: '#218D8D'
|
|
1779
1765
|
},
|
|
1780
1766
|
description: 'ANSI cyan color'
|
|
@@ -1835,16 +1821,16 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1835
1821
|
}, {
|
|
1836
1822
|
id: 'statusBarItem.offlineHoverBackground',
|
|
1837
1823
|
defaults: {
|
|
1838
|
-
dark:
|
|
1839
|
-
light:
|
|
1840
|
-
hc:
|
|
1824
|
+
dark: color_1.Color.lighten('statusBar.offlineBackground', 0.4),
|
|
1825
|
+
light: color_1.Color.lighten('statusBar.offlineBackground', 0.4),
|
|
1826
|
+
hc: color_1.Color.lighten('statusBar.offlineBackground', 0.4)
|
|
1841
1827
|
}, description: 'Background of hovered statusbar item in case the theia server is offline.'
|
|
1842
1828
|
}, {
|
|
1843
1829
|
id: 'statusBarItem.offlineActiveBackground',
|
|
1844
1830
|
defaults: {
|
|
1845
|
-
dark:
|
|
1846
|
-
light:
|
|
1847
|
-
hc:
|
|
1831
|
+
dark: color_1.Color.lighten('statusBar.offlineBackground', 0.6),
|
|
1832
|
+
light: color_1.Color.lighten('statusBar.offlineBackground', 0.6),
|
|
1833
|
+
hc: color_1.Color.lighten('statusBar.offlineBackground', 0.6)
|
|
1848
1834
|
}, description: 'Background of active statusbar item in case the theia server is offline.'
|
|
1849
1835
|
},
|
|
1850
1836
|
// Buttons
|
|
@@ -1858,40 +1844,40 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1858
1844
|
}, {
|
|
1859
1845
|
id: 'secondaryButton.disabledForeground',
|
|
1860
1846
|
defaults: {
|
|
1861
|
-
dark:
|
|
1862
|
-
light:
|
|
1863
|
-
hc:
|
|
1847
|
+
dark: color_1.Color.transparent('secondaryButton.foreground', 0.5),
|
|
1848
|
+
light: color_1.Color.transparent('secondaryButton.foreground', 0.5),
|
|
1849
|
+
hc: color_1.Color.transparent('secondaryButton.foreground', 0.5),
|
|
1864
1850
|
}, description: 'Foreground color of secondary buttons.'
|
|
1865
1851
|
}, {
|
|
1866
1852
|
id: 'secondaryButton.background',
|
|
1867
1853
|
defaults: {
|
|
1868
|
-
dark:
|
|
1869
|
-
light:
|
|
1854
|
+
dark: color_1.Color.lighten('dropdown.background', 0.5),
|
|
1855
|
+
light: color_1.Color.lighten('dropdown.background', 0.5)
|
|
1870
1856
|
}, description: 'Background color of secondary buttons.'
|
|
1871
1857
|
}, {
|
|
1872
1858
|
id: 'secondaryButton.hoverBackground',
|
|
1873
1859
|
defaults: {
|
|
1874
|
-
dark:
|
|
1875
|
-
light:
|
|
1860
|
+
dark: color_1.Color.lighten('secondaryButton.background', 0.2),
|
|
1861
|
+
light: color_1.Color.lighten('secondaryButton.background', 0.2)
|
|
1876
1862
|
}, description: 'Background color when hovering secondary buttons.'
|
|
1877
1863
|
}, {
|
|
1878
1864
|
id: 'secondaryButton.disabledBackground',
|
|
1879
1865
|
defaults: {
|
|
1880
|
-
dark:
|
|
1881
|
-
light:
|
|
1866
|
+
dark: color_1.Color.transparent('secondaryButton.background', 0.6),
|
|
1867
|
+
light: color_1.Color.transparent('secondaryButton.background', 0.6)
|
|
1882
1868
|
}, description: 'Background color when hovering secondary buttons.'
|
|
1883
1869
|
}, {
|
|
1884
1870
|
id: 'button.disabledForeground',
|
|
1885
1871
|
defaults: {
|
|
1886
|
-
dark:
|
|
1887
|
-
light:
|
|
1888
|
-
hc:
|
|
1872
|
+
dark: color_1.Color.transparent('button.foreground', 0.5),
|
|
1873
|
+
light: color_1.Color.transparent('button.foreground', 0.5),
|
|
1874
|
+
hc: color_1.Color.transparent('button.foreground', 0.5)
|
|
1889
1875
|
}, description: 'Foreground color of secondary buttons.'
|
|
1890
1876
|
}, {
|
|
1891
1877
|
id: 'button.disabledBackground',
|
|
1892
1878
|
defaults: {
|
|
1893
|
-
dark:
|
|
1894
|
-
light:
|
|
1879
|
+
dark: color_1.Color.transparent('button.background', 0.5),
|
|
1880
|
+
light: color_1.Color.transparent('button.background', 0.5)
|
|
1895
1881
|
}, description: 'Background color of secondary buttons.'
|
|
1896
1882
|
}, {
|
|
1897
1883
|
id: 'editorGutter.commentRangeForeground',
|
|
@@ -1903,9 +1889,9 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1903
1889
|
}, {
|
|
1904
1890
|
id: 'breadcrumb.foreground',
|
|
1905
1891
|
defaults: {
|
|
1906
|
-
dark:
|
|
1907
|
-
light:
|
|
1908
|
-
hc:
|
|
1892
|
+
dark: color_1.Color.transparent('foreground', 0.8),
|
|
1893
|
+
light: color_1.Color.transparent('foreground', 0.8),
|
|
1894
|
+
hc: color_1.Color.transparent('foreground', 0.8),
|
|
1909
1895
|
},
|
|
1910
1896
|
description: 'Color of breadcrumb item text'
|
|
1911
1897
|
}, {
|
|
@@ -1919,17 +1905,17 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1919
1905
|
}, {
|
|
1920
1906
|
id: 'breadcrumb.focusForeground',
|
|
1921
1907
|
defaults: {
|
|
1922
|
-
dark:
|
|
1923
|
-
light:
|
|
1924
|
-
hc:
|
|
1908
|
+
dark: color_1.Color.lighten('foreground', 0.1),
|
|
1909
|
+
light: color_1.Color.darken('foreground', 0.2),
|
|
1910
|
+
hc: color_1.Color.lighten('foreground', 0.1),
|
|
1925
1911
|
},
|
|
1926
1912
|
description: 'Color of breadcrumb item text when focused'
|
|
1927
1913
|
}, {
|
|
1928
1914
|
id: 'breadcrumb.activeSelectionForeground',
|
|
1929
1915
|
defaults: {
|
|
1930
|
-
dark:
|
|
1931
|
-
light:
|
|
1932
|
-
hc:
|
|
1916
|
+
dark: color_1.Color.lighten('foreground', 0.1),
|
|
1917
|
+
light: color_1.Color.darken('foreground', 0.2),
|
|
1918
|
+
hc: color_1.Color.lighten('foreground', 0.1),
|
|
1933
1919
|
},
|
|
1934
1920
|
description: 'Color of selected breadcrumb item'
|
|
1935
1921
|
}, {
|
|
@@ -1943,23 +1929,23 @@ let CommonFrontendContribution = class CommonFrontendContribution {
|
|
|
1943
1929
|
}, {
|
|
1944
1930
|
id: 'mainToolbar.background',
|
|
1945
1931
|
defaults: {
|
|
1946
|
-
dark:
|
|
1947
|
-
light:
|
|
1948
|
-
hc:
|
|
1932
|
+
dark: color_1.Color.lighten('activityBar.background', 0.1),
|
|
1933
|
+
light: color_1.Color.darken('activityBar.background', 0.1),
|
|
1934
|
+
hc: color_1.Color.lighten('activityBar.background', 0.1),
|
|
1949
1935
|
},
|
|
1950
1936
|
description: 'Background color of shell\'s global toolbar'
|
|
1951
1937
|
}, {
|
|
1952
1938
|
id: 'mainToolbar.foreground', defaults: {
|
|
1953
|
-
dark:
|
|
1954
|
-
light:
|
|
1955
|
-
hc:
|
|
1939
|
+
dark: color_1.Color.darken('activityBar.foreground', 0.1),
|
|
1940
|
+
light: color_1.Color.lighten('activityBar.foreground', 0.1),
|
|
1941
|
+
hc: color_1.Color.lighten('activityBar.foreground', 0.1),
|
|
1956
1942
|
}, description: 'Foreground color of active toolbar item',
|
|
1957
1943
|
}, {
|
|
1958
1944
|
id: 'editorHoverWidgetInternalBorder',
|
|
1959
1945
|
defaults: {
|
|
1960
|
-
dark:
|
|
1961
|
-
light:
|
|
1962
|
-
hc:
|
|
1946
|
+
dark: color_1.Color.transparent('editorHoverWidget.border', 0.5),
|
|
1947
|
+
light: color_1.Color.transparent('editorHoverWidget.border', 0.5),
|
|
1948
|
+
hc: color_1.Color.transparent('editorHoverWidget.border', 0.5),
|
|
1963
1949
|
},
|
|
1964
1950
|
description: 'The border between subelements of a hover widget'
|
|
1965
1951
|
});
|
|
@@ -2026,6 +2012,14 @@ __decorate([
|
|
|
2026
2012
|
(0, inversify_1.inject)(user_working_directory_provider_1.UserWorkingDirectoryProvider),
|
|
2027
2013
|
__metadata("design:type", user_working_directory_provider_1.UserWorkingDirectoryProvider)
|
|
2028
2014
|
], CommonFrontendContribution.prototype, "workingDirProvider", void 0);
|
|
2015
|
+
__decorate([
|
|
2016
|
+
(0, inversify_1.inject)(language_quick_pick_service_1.LanguageQuickPickService),
|
|
2017
|
+
__metadata("design:type", language_quick_pick_service_1.LanguageQuickPickService)
|
|
2018
|
+
], CommonFrontendContribution.prototype, "languageQuickPickService", void 0);
|
|
2019
|
+
__decorate([
|
|
2020
|
+
(0, inversify_1.inject)(common_1.UntitledResourceResolver),
|
|
2021
|
+
__metadata("design:type", common_1.UntitledResourceResolver)
|
|
2022
|
+
], CommonFrontendContribution.prototype, "untitledResourceResolver", void 0);
|
|
2029
2023
|
CommonFrontendContribution = __decorate([
|
|
2030
2024
|
(0, inversify_1.injectable)(),
|
|
2031
2025
|
__param(0, (0, inversify_1.inject)(application_shell_1.ApplicationShell)),
|