search

kylecorry31 / gnome-shell-extension-do-not-disturb

Enable or disable do not disturb mode on Pop!_OS
MIT License
17 stars 5 forks source link

Broken in Shell 3.30.1 #20

Closed catb0t closed 5 years ago

catb0t commented 6 years ago

Updated to Ubuntu 18.10 with GNOME 3.30.1 and this appears to no longer work, I can try to find a log soon

catb0t commented 6 years ago

https://github.com/franglais125/no-title-bar/issues/93

kylecorry31 commented 5 years ago

Hello,

I was unable to replicate this issue, can you provide a detailed log (use journalctl -f | grep kylecorry31)? Also, do you know which part does not work - what is the exact issue?

catb0t commented 5 years ago

After an update to this extension or GNOME Shell or something else, I don't think this extension errors anymore, but I will check again later and give more info that I can find. Thanks for reminding me to revisit this!