eclipse plugin vaadin 8 not compatible with eclipse 2018-12-R?

Hello,
i have a new eclipse installation (2018-12-R for enterprise developers). After installation of the vaadin eclipse plugin (4.0.2) i miss:

  • buttons for theme and widgetset compilation
  • properties for vaadin under preferences
  • vaadin project dialogs under new → project

The installation of the plugin succeeded without error message and i see under: help → about eclipse ide → installation details that the vaadin eclipse plugin has been installed.

Thanks for help information

There’s an Eclipse bug that causes this. It should be fixed in fresh Eclipse releases: https://bugs.eclipse.org/bugs/show_bug.cgi?id=543463

Thank you for your fast answer, it works with eclipse-2019-03-M2.

Great to hear!