Subject: Unable to open individual GNOME shell extension settings
From: [email-masked]
To: "[email-masked]" <[email-masked]>
Date: Sun, 02 Dec 2018 08:28:44 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Clicking on the settings icon next to any extension within gnome-tweak-tools does nothing