activate_gnome/activate_gnome@isjerryxiao
JerryXiao 10e560b5db
gnome 46, version 11
2024-03-24 11:37:26 +08:00
..
schemas Add font size option, fixes #6 2022-06-07 18:51:11 +08:00
extension.js gnome 46, version 11 2024-03-24 11:37:26 +08:00
metadata.json gnome 46, version 11 2024-03-24 11:37:26 +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