| Index: options.js |
| =================================================================== |
| --- a/options.js |
| +++ b/options.js |
| @@ -113,16 +113,19 @@ function loadOptions() |
| { |
| if (platform == "chromium" && application != "opera") |
| application = "chrome"; |
| getDocLink(application + "_support", url => |
| { |
| setLinks("found-a-bug", url); |
| }); |
| + |
| + if (platform == "gecko") |
| + $("#firefox-warning").removeAttr("hidden"); |
| }); |
| }); |
| // Add event listeners |
| $("#updateFilterLists").click(updateFilterLists); |
| $("#startSubscriptionSelection").click(startSubscriptionSelection); |
| $("#subscriptionSelector").change(updateSubscriptionSelection); |
| $("#addSubscription").click(addSubscriptionClicked); |