gnome-shell-extension-prefs 3.36.7-0ubuntu0.20.04.1 (armhf binary) in ubuntu focal

  This package contains a tool which users who use Shell extensions can use to
  toggle them on and off, and access their preferences.

Details

Package version:
3.36.7-0ubuntu0.20.04.1
Source:
gnome-shell 3.36.7-0ubuntu0.20.04.1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional