thunderbird-patch-review

Easy-to-use patch review interface for Thunderbird

Contribute: ~marcc/thunderbird-review-plugin@lists.sr.ht

git clone git://mccd.space/thunderbird-patch-review

options.html (1685B)

      1 <!DOCTYPE html>
      2 <html>
      3 <head>
      4   <meta charset="utf-8">
      5   <style>
      6     body {
      7       font: 13px/1.5 -apple-system, "Segoe UI", sans-serif;
      8       margin: 1rem;
      9       min-width: 34rem;
     10     }
     11     label { display: block; font-weight: 600; margin: 0.8rem 0 0.2rem; }
     12     .hint { color: #656d76; font-weight: 400; font-size: 12px; }
     13     input[type="text"], select {
     14       width: 100%;
     15       padding: 0.3rem 0.5rem;
     16       box-sizing: border-box;
     17     }
     18     table { width: 100%; border-collapse: collapse; margin-top: 0.3rem; }
     19     td { padding: 0.15rem; }
     20     td.match { width: 40%; }
     21     td.remove { width: 2rem; }
     22     .row-buttons { margin-top: 0.6rem; display: flex; gap: 0.5rem; align-items: center; }
     23     #saved { color: #1a7f37; margin-left: 0.5rem; }
     24   </style>
     25 </head>
     26 <body>
     27   <label for="editor">Editor command
     28     <span class="hint">— run from the repository after applying, e.g. “code -n” or “emacsclient -n”.
     29     Leave empty to use $EDITOR.</span>
     30   </label>
     31   <input id="editor" type="text" placeholder="$EDITOR" spellcheck="false">
     32 
     33   <label for="strategy">Apply strategy</label>
     34   <select id="strategy">
     35     <option value="am3">git am --3way (recommended)</option>
     36     <option value="am">git am</option>
     37   </select>
     38 
     39   <label>Repository mappings
     40     <span class="hint">— when a patch's List-Id or sender contains the match string,
     41     its repository path is filled in automatically.</span>
     42   </label>
     43   <table id="mappings">
     44     <tbody></tbody>
     45   </table>
     46 
     47   <div class="row-buttons">
     48     <button id="add">Add mapping</button>
     49     <button id="save">Save</button>
     50     <span id="saved" hidden>Saved.</span>
     51   </div>
     52 
     53   <script src="options.js"></script>
     54 </body>
     55 </html>