|
schemas
|
Add font size option, fixes #6
|
2022-06-07 18:51:11 +08:00 |
|
extension.js
|
Add font size option, fixes #6
|
2022-06-07 18:51:11 +08:00 |
|
metadata.json
|
correct GNOME spelling, #4
|
2022-03-27 15:17:01 +08:00 |
|
prefs.js
|
Add font size option, fixes #6
|
2022-06-07 18:51:11 +08:00 |
|
stylesheet.css
|
Add font size option, fixes #6
|
2022-06-07 18:51:11 +08:00 |
