search

maoschanz / emoji-selector-for-gnome

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clipboard.
GNU General Public License v3.0
475 stars 76 forks source link

Need to restart Gnome shell for applying settings changes #17

Open ghost opened 6 years ago

ghost commented 6 years ago

OS: Arch Linux GNOME version: 3.26.1 every time I change a setting, I must restart gnome shell in order to changes be applied to extension.

maoschanz commented 6 years ago

Do you mean that disabling/re-enabling the extension doesn't work and you need to restart the whole session ? What settings are concerned by this ?

ghost commented 6 years ago

Actually disabling/re-enabling the extension do the job, but isn't it suppose to work without that? I mean, it would be better to apply settings without disabling/re-enabling the extension or restarting gnome shell.

maoschanz commented 6 years ago

i know, the extension should restart automatically...

there was a warning message in previous versions, which said that the extension have to be re-enabled, but i remove it for aesthetical reason, i will try something to make it restart