Theia: [Windows] Open recent workspace always disabled on Windows

Created on 12 Sep 2018  路  2Comments  路  Source: eclipse-theia/theia

Although I have a valid ~/.theia/recentworkspace.json under the home folder, the command is disabled on Windows.

screen shot 2018-09-12 at 08 42 46

OWindows bug

All 2 comments

This problem is easily reproduced in old commits (eg b8f66c71 from September) but does not show in latest master (cefa1fb2). It appears to be fixed.

I verified this is fixed:

Steps:

  • Open a new workspace
  • Close the workspace
  • File -> Open Recent Workspace
  • A box displayed with the choice to the closed workspace
  • Clicking on it opens the old workspace correctly

Additional information:

  • OS: Windows 10
  • Theia version: Master v1.7.0

@vince-fugnitto Can you close this issue?

Was this page helpful?
0 / 5 - 0 ratings