Translate to UML appears in workspace context for VDM-SL projects

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support

GNU General Public License v3.0

21 stars 6 forks source link

Open idhugoid opened 2 years ago

idhugoid commented 2 years ago

We currently hide the Translate to UML for vdmsl dialect files. That is not the case on a folder which may contain VDM++ files...