Where to find preferences menu

[lassieee]

Describe the bug Unable to find plugin preferences menu.

First of all, love your plugin, thanks for open-sourcing it! I'd like to remove the blanc space between windows. I tried editing the prefs.js which didn't work. I see screenshots showing a preferences menu but I've no idea how to access that.

I only have this tiling shell icon in the system tray with the following options:

To Reproduce Steps to reproduce the behavior: 1) download latest version of plugin 2) follow installation instructions 3) logout and log back in

Information (please complete the following):

• Tiling Shell version: v10.0
• GNOME version: 42 (ubuntu 20.04)

[domferr]

Hey! Every extension has its own preferences window. It can be accessed in multiple ways. The easiest is from the extension webpage (https://extensions.gnome.org/extension/7065/tiling-shell/).

Personally, I use Extension Manager. You can find out more here https://www.baeldung.com/linux/gnome-shell-extension.

Otherwise, you can run gnome-extensions prefs tilingshell@ferrarodomenico.com.

[lassieee]

Thank you, didn't know this, works great! :-)

[domferr]

Great! Enjoy Tiling Shell!