Maven preference settings not available initially when the application starts with the preference page opened #6467
Labels
bug
bugs found in the application
electron
issues related to the electron target
help wanted
issues meant to be picked up, require help
java
issues related to the java language
plug-in system
issues related to the plug-in system
vscode
issues related to VSCode compatibility
Description
Starting a maven project when the preference editor is open does not show the maven sub-folder
Reproduction Steps
Tested on Electron.
Open a maven project
Open the preference settings page
Close the backend application (File->Close workspace)
Restart the electron application (Open the workspace)
--> should open with the latest workspace and the preference settings page open in the editor
--> Look to find the tab for the maven settings, not there
Close the preference settings page
Re-open the preference setting page (File-> Settings-> Open Preference)
--> The maven tab settings is available
OS and Theia version:
Electron on Ubuntu 16.04
Theia: master
Diagnostics:
![MavenPrefNotAvailable](https://user-images.githubusercontent.com/419051/67792507-a5a62400-fa4f-11e9-867c-935a572843c3.gif)
The text was updated successfully, but these errors were encountered: