diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
| commit | 3e4c252f982637b54719b427ac85ac3701d44abd (patch) | |
| tree | 7b433796d4d3fcb9647e0da0cafe89e5e4d62521 /html/display_panel/content/display-panel.html | |
| parent | 0e004bf1a3c154b98a96494dc97ecba58b8162ed (diff) | |
| parent | 3bf972bafeac738301623db6b08bedfd476abeca (diff) | |
Merge #17 `Brand new settings UI to manage whitelist, blacklist and other preferences. `
Diffstat (limited to 'html/display_panel/content/display-panel.html')
| -rw-r--r-- | html/display_panel/content/display-panel.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/html/display_panel/content/display-panel.html b/html/display_panel/content/display-panel.html index 2ed0c9c..df153b3 100644 --- a/html/display_panel/content/display-panel.html +++ b/html/display_panel/content/display-panel.html @@ -36,8 +36,8 @@ <div> <a class="libre" id="ljs-settings" - href="javascript:void" - title="LibreJS Whitelist Settings"> + href= href="https://www.gnu.org/software/librejs/" + title="LibreJS Page Settings"> <h1 class="libre">LibreJS</h1> </a> </div> @@ -52,6 +52,7 @@ </div> <button id="complain">Complain to site owner</button> <button id="report-tab">Show this report in a new tab</button> + <button id="open-options">Settings...</button> </div> </div> <div id="info"> |