Andrew O.

@vamsigangarapu After installing JBoss tools, I can see the projects facets options. I think this is a Windows-specific bug, as on Linux, things seem to look OK:  I'll try...

@vamsigangarapu it might be related to https://bugs.eclipse.org/bugs/show_bug.cgi?id=563475, but I'm not sure. This has been fixed in Eclipse 4.17 which releases soon enough. Do you mind posting a photo of the...

So the property page that is misbehaving is coming from `org.eclipse.wst.common.project.facet.ui.internal.FacetsPropertyPage`. Just writing this as a little note to myself... I still need to clone org.eclipse.wst Sorry for the delay...

@ingomohr I'm not sure why I'm currently unable to assign you to this issue. [Maybe try commenting on it?](https://github.blog/2019-06-25-assign-issues-to-issue-commenters/)

@ingomohr there we go ;)

@ingomohr now that https://github.com/AObuchow/Eclipse-Spectrum-Theme/pull/90 is merged, do you think I can close this? Or do you want me to leave it open in the event you come up with a...

@ingomohr let's leave it open then :)

@ingomohr I just created a new branch and unfortunately no new update site branch was created. Maybe it has to due with the way I named the branch? https://github.com/AObuchow/Eclipse-Spectrum-Theme/blob/master/.github/workflows/build-updatesite-branches.yml#L9

Ahhh okay thank you for the explanation. Sure that’d be great :)

This PR is set to be a draft until DWO 0.18.0 is released. @tolusha if you would like to merge this PR (and the 2 other PR's included in it),...