|
hotkeys.js
|
tweak editor (#1063)
|
2020-10-13 21:14:54 +03:00 |
|
popup.css
|
tweak editor (#1063)
|
2020-10-13 21:14:54 +03:00 |
|
popup.js
|
add scope selector to style search in manager
|
2020-11-17 22:13:56 +03:00 |
|
search-results.css
|
tweak editor (#1063)
|
2020-10-13 21:14:54 +03:00 |
|
search-results.js
|
simplify localization
|
2020-11-16 00:47:46 +03:00 |
