ui: hide "Web IDE" button from the web UI
The Web IDE is not yet supported on Heptapod (see issue #285).
--HG-- branch : heptapod
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
The Web IDE is not yet supported on Heptapod (see issue #285).
--HG-- branch : heptapod