activate_gnome/activate_gnome@isjerryxiao
2023-09-20 10:37:03 +08:00
..
schemas Add font size option, fixes #6 2022-06-07 18:51:11 +08:00
extension.js gnome 45, version 10 2023-09-20 10:37:03 +08:00
metadata.json gnome 45, version 10 2023-09-20 10:37:03 +08:00
prefs.js gnome 45, version 10 2023-09-20 10:37:03 +08:00
stylesheet.css Add font size option, fixes #6 2022-06-07 18:51:11 +08:00