Exporting image file from JDeveloper

Question

Sounds trivial, but the "publish" option is nowhere to be found.

This is what I get when right clicking the diagram

And the build menu doesn't allow to export an image either

Using Jdeveloper 12.1.3

Any clue most appreciated.

Answer 1

Clever me...

In case it could help someone else: Go to Diagram -> publish diagram

Voilà.