Closed todatamining closed 3 years ago
it works like with any other existing extension... How do you manage them?
gnome-extensions-app
, there is an "options" button next to the name of the extensiongnome-shell-extension-prefs
, there is an "options" button next to the name of the extensiongnome-tweaks
, there is an "options" button next to the name of the extensionThanks a lot for looking into this issue! I am not familiar with gnome-extensions. emoji-selector-for-gnome is the only gnome-extension I have ever used. I tried gnome-shell-extension-prefs, and I can change the setting now :+1:
System
OS: ubuntu18.04
Your version of the extension (visible in the "about" tab of the preferences window): I don't know. There is no about menu in this extension. There is emoji selection menu. But I think its the latest version of 12/29/2020, because I clone the git repo.
Your version of GNOME Shell: GNOME Shell 3.28.4
Description of the bug
Is your bug already reported? [y/n]: there is a bug "Setting dialog does not load #101", which is an old version. I searched prefs.js and I can't find "always-show-label" in this js. I am using the latest code download from git and install it manually.
To Reproduce
Steps to reproduce the bug:
Expected behavior
open the setting dialog automatically or there is a way to open the setting dialog