Menu-item "Plugins" missing on Hyper.app 3.1.5 (Manjaro KDE) - Can't see plugin-options

• I am on the latest Hyper.app version

• I have searched the issues of this repo and believe that this is not a duplicate

• OS version and name: 5.10.84-1-MANJARO x86_64

• Hyper.app version: 3.1.5 (stable)

• Link of a Gist with the contents of your .hyper.js:

• Relevant information from devtools (CMD+ALT+I on macOS, CTRL+SHIFT+I elsewhere):

• The issue is reproducible in vanilla Hyper.app: Well, it’s the same issue without plugins - but… If so, there shouldn’t be any plugins anyway, right?

Issue

It seems like there should be a “Plugins” option in the nav-menu, but that’s not present on my system. I’ve spotted it in this repo, where the guide tell’s the user to use the “Plugins” option.

It’s also shown here:

But sadly that’s not visible on my system with latest stable version of Manjaro with KDE:

Operating System: Manjaro Linux
KDE Plasma Version: 5.23.4
KDE Frameworks Version: 5.88.0
Qt Version: 5.15.2
Kernel Version: 5.10.84-1-MANJARO (64-bit)

Here’s my options within the menu.

[LabhanshAgrawal]

hyper-sync-settings is using the menu name Plugins to add it’s options. They’d need to update it to Tools As a workaround you can edit ~/.hyper_plugins/node_modules/hyper-sync-settings/dist/index.js line 370 to Tools for the time being.

[LabhanshAgrawal]

Plugins menu was renamed to Tools