From 86d6edff21fb72e10d89ec816644e16538aabd91 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 20 Jan 2026 10:50:09 +0100
Subject: Wasm: resource-path.

---
 wasm/index.html | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/wasm/index.html b/wasm/index.html
index 3649c0072..9d32598e0 100644
--- a/wasm/index.html
+++ b/wasm/index.html
@@ -836,6 +836,12 @@
                 <input type="number" id="opt-dpi" v-model="opts.dpi" placeholder="96" min="1" style="width: 80px;" />
               </div>
             </div>
+            <div class="options-grid" style="margin-top: 0.75rem;">
+              <div class="form-group" style="grid-column: 1 / -1;">
+                <label for="opt-resource-path">Resource path</label>
+                <input type="text" id="opt-resource-path" v-model="opts.resourcePath" placeholder=".:images" />
+              </div>
+            </div>
           </div>
 
           <!-- Track Changes -->
@@ -1459,6 +1465,7 @@
           tabStop: '4',
           eol: '',
           dpi: '',
+          resourcePath: '',
           defaultImageExtension: '',
           stripComments: false,
           trackChanges: '',
@@ -2271,6 +2278,7 @@
           }
           if (this.opts.eol) opts.eol = this.opts.eol;
           if (this.opts.dpi) opts.dpi = parseInt(this.opts.dpi);
+          if (this.opts.resourcePath.trim()) opts['resource-path'] = this.opts.resourcePath.trim();
           if (this.opts.stripComments) opts['strip-comments'] = true;
           if (this.opts.defaultImageExtension.trim()) opts['default-image-extension'] = this.opts.defaultImageExtension.trim();
 
-- 
cgit v1.2.3