JabRef-Browser-Extension-fresh/settings.html at main · JabRef/JabRef-Browser-Extension-fresh · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
<!doctype html>
<html lang="en">
    <head>
        <meta charset="utf-8" />
        <meta name="viewport" content="width=device-width, initial-scale=1" />
        <title>JabRef Browser Extension Settings</title>
        <style>
            body {
                font-family: Arial, sans-serif;
                padding: 16px;
            }
            label {
                display: block;
                margin-bottom: 8px;
            }
            input {
                padding: 6px;
                width: 120px;
            }
            button {
                margin-top: 12px;
                padding: 6px 10px;
            }
            .msg {
                margin-top: 10px;
                color: green;
            }
        </style>
    </head>
    <body>
        <h1>JabRef Browser Extension — Settings</h1>
        <label for="portInput">JabRef HTTP port (localhost)</label>
        <input id="portInput" type="number" min="1" max="65535" value="23119" />
        <div style="font-size: 0.9em; color: #666; margin-top: 6px">
            Default: 23119
        </div>
        <div>
            <button id="saveBtn">Save</button>
            <button id="cancelBtn">Cancel</button>
        </div>
        <div id="msg" class="msg" role="status" aria-live="polite"></div>

        <script src="settings.js"></script>
    </body>
</html>