From 073c94ba6393d5e29b6f755ae659fbfe9f3b4ef1 Mon Sep 17 00:00:00 2001
From: khaneliman <khaneliman@users.noreply.github.com>
Date: Wed, 7 May 2025 02:07:09 +0000
Subject: [PATCH] deploy: 60964ff845ec5965cde978377f3f73bcef84abe5

---
 options.xhtml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/options.xhtml b/options.xhtml
index ec348dca9..7911c05e6 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -79658,15 +79658,15 @@ attribute set of (INI atom (null, bool, int, float or string))</p>
   {
     actions = &quot;true&quot;;
     anchor = &quot;top-right&quot;;
-    backgroundColor = &quot;#000000&quot;;
-    borderColor = &quot;#FFFFFF&quot;;
-    borderRadius = &quot;0&quot;;
-    defaultTimeout = &quot;0&quot;;
+    background-color = &quot;#000000&quot;;
+    border-color = &quot;#FFFFFF&quot;;
+    border-radius = &quot;0&quot;;
+    default-timeout = &quot;0&quot;;
     font = &quot;monospace 10&quot;;
     height = &quot;100&quot;;
     width = &quot;300&quot;;
     icons = &quot;true&quot;;
-    ignoreTimeout = &quot;false&quot;;
+    ignore-timeout = &quot;false&quot;;
     layer = &quot;top&quot;;
     margin = &quot;10&quot;;
     markup = &quot;true&quot;;