brisk-menu: Avoid killing Brisk Menu unnecessarily

ubuntu-mate / mate-tweak

Tweak tool for the MATE Desktop

GNU General Public License v2.0

71 stars 24 forks source link

brisk-menu: Avoid killing Brisk Menu unnecessarily #73

Closed vkareh closed 4 years ago

vkareh commented 4 years ago

Since Brisk Menu can now support live-switching of window type, we no longer need to kill it when changing that setting. This means we can now kill Brisk Menu only when no longer needed, after the panel layout has been replaced, thus avoiding the applet crash warning.

Requires https://github.com/getsolus/brisk-menu/pull/27

vkareh commented 4 years ago

@flexiondotorg - please take a look

flexiondotorg commented 4 years ago

Thanks! Test in Ubuntu MATE 20.04 daily and working a treat! :smiley: