Skip to content

VSCode Electron - #210

Closed
mrjackv wants to merge 6 commits into
revng:developfrom
mrjackv:feature/vscode-electron
Closed

VSCode Electron#210
mrjackv wants to merge 6 commits into
revng:developfrom
mrjackv:feature/vscode-electron

Conversation

@mrjackv

@mrjackv mrjackv commented Jul 20, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@mrjackv
mrjackv force-pushed the feature/vscode-electron branch from c59af8d to c46234e Compare July 21, 2026 08:26

@aleclearmind aleclearmind left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

NOTETOSELF: review the last commit after I review the revng-ui extension.

Comment thread .orchestra/support/nodejs-support/static-npm-registry
Comment thread .orchestra/config/components/revng-ui-web.yml
Comment thread .orchestra/config/components/vscode.yml
Comment thread .orchestra/support/vscode/common.sh Outdated
Comment thread .orchestra/config/components/revng-ui-native.yml
Comment thread .orchestra/support/vscode/electron/ui.py Outdated
Comment thread .orchestra/support/vscode/electron/ui.py Outdated
Comment thread .orchestra/support/vscode/electron/ui.py
Comment thread .orchestra/support/vscode/electron/ui.py Outdated
@mrjackv
mrjackv force-pushed the feature/vscode-electron branch 2 times, most recently from 67850b8 to b8f5468 Compare August 3, 2026 10:53
Comment thread .orchestra/support/vscode/electron/ui.py
@mrjackv
mrjackv force-pushed the feature/vscode-electron branch 2 times, most recently from a788376 to 11ea9d4 Compare August 4, 2026 08:49
mrjackv added 4 commits August 4, 2026 11:26
The `static-npm-registry` program is a python script, so python is
required as a dependency.
Upgrade nodejs to version 22.22.3, upgrading all its depencies as well.
Also improve build times by using `lld` and exclude some additional
tests that now fail when run in the CI.
The component `vscode-web` is now built using `npm` instead of `yarn`.
Update the build script to account for that and improve the
`nodejs-support` scripts to handle a project with so many dependencies.
@mrjackv
mrjackv force-pushed the feature/vscode-electron branch from 11ea9d4 to 99a9ce1 Compare August 4, 2026 09:34
mrjackv added 2 commits August 4, 2026 11:47
Change the following:
* The script for building the vsix has changed from `package` to
  `package-web`.
* The configuration format has changed, adapt the
  `configurationDefaults` to account for it.
Introduce the electron-flavoured version of `revng-vscode-web`. It's an
electron build of vscode with the revng extension pre-installed. This
commit introduces 3 new components:
* `vscode-electron`: build plain vscode with electron
* `revng-ui-native-extension`: native build of revng-ui. It differs to
  the `revng-ui-web` variant due to additional dependencies for native
  usage (e.g. connecting to unix sockets)
* `revng-ui-native`: just like `revng-vscode-web` this is just the
  previous two components merged in the right way to make a standalone
  installation with everything

For naming consistency the following components have also been renamed:
* `revng-ui` -> `revng-ui-web-extension`
* `revng-vscode-web` -> `revng-ui-web`

This commit also adds `revng-ui-native` to the `revng-development`
component so that it will be built when the CI runs with the default
target.
@mrjackv
mrjackv force-pushed the feature/vscode-electron branch from 99a9ce1 to f63ab01 Compare August 4, 2026 09:47
@aleclearmind

Copy link
Copy Markdown
Contributor

Merged in c285f29. Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants