|
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 47, version 12
|
2024-09-20 21:28: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 |
