che: Can not create a new pull request from GitHub plugin

Description

Can not create a new pull request from GitHub plugin

Reproduction Steps

  1. Add GitHub pull-request plugin
  2. Open a workspace with a project cloned from GitHub
  3. Checkout to a new branch and commit some changes.
  4. Call Create Pull Request command

WRONG: Create process freezes, error occurred: root ERROR [hosted-plugin: 11878] (node:11878) UnhandledPromiseRejectionWarning: TypeError: s.window.createInputBox is not a function

OS and version:
7.0.0 Diagnostics:

About this issue

  • Original URL
  • State: closed
  • Created 5 years ago
  • Comments: 19 (19 by maintainers)

Most upvoted comments

fixed by theia-ide/theia#5187

@vinokurig and I have agreed to split the work for the last few fix-ups on the QuickInput/InputBox/QuickPick API’s so we can get this in for 7.0.0