MrOtherGuy
|
8528b55888
|
remove border around manage buttonbox and add them background, fixes #119
|
2021-06-20 07:23:14 +03:00 |
|
MrOtherGuy
|
f9fc50e329
|
Make addons manager styles apply to about:addons
|
2021-02-22 05:24:52 +02:00 |
|
MrOtherGuy
|
1b0e062dce
|
Remove duplicate comment
|
2020-06-23 21:01:38 +03:00 |
|
MrOtherGuy
|
d37d2e0cd3
|
use correct image path for settings button
|
2020-06-05 08:49:07 +03:00 |
|
MrOtherGuy
|
84ec1414dd
|
Add source/license notices
|
2020-05-22 08:13:58 +03:00 |
|
MrOtherGuy
|
e2f5217194
|
Don't hide plugin control buttons
|
2020-03-07 00:42:46 +02:00 |
|
MrOtherGuy
|
4a3ec8ae3d
|
Compatibility selector for Firefox 72
|
2019-11-23 17:19:37 +02:00 |
|
MrOtherGuy
|
21eabcfc38
|
Exclude global more-options panel from changes
|
2019-11-07 00:11:31 +02:00 |
|
MrOtherGuy
|
f13cf6b317
|
limit button styles to role=menuitem
|
2019-11-06 13:55:39 +02:00 |
|
MrOtherGuy
|
d0631c6ee2
|
Make the left padding a bit smaller on manage buttons
|
2019-11-06 13:40:12 +02:00 |
|
MrOtherGuy
|
0ec813a615
|
Forcibly remove backdrop-filter from panel-list
|
2019-11-05 10:30:11 +02:00 |
|
MrOtherGuy
|
3908ea60f8
|
Fix some minor issues with description
|
2019-11-05 10:03:02 +02:00 |
|
MrOtherGuy
|
0a860d16fd
|
new file
|
2019-09-04 11:59:50 +03:00 |
|