activate_gnome/activate_gnome@isjerryxiao
2022-06-07 18:13:53 +08:00
..
schemas correct GNOME spelling, #4 2022-03-27 15:17:01 +08:00
extension.js replace addTopChrome with uiGroup.add_actor, fixes #7 2022-06-07 18:13:53 +08:00
metadata.json correct GNOME spelling, #4 2022-03-27 15:17:01 +08:00
prefs.js add opacity slider 2022-03-19 15:45:05 +08:00
stylesheet.css add opacity slider 2022-03-19 15:45:05 +08:00