From dbe2931cae082202a65400e4188e881acd950e1f Mon Sep 17 00:00:00 2001
From: zwim <36999612+zwim@users.noreply.github.com>
Date: Mon, 4 Mar 2024 08:16:14 +0100
Subject: [PATCH] Entry in Developer menu

---
 frontend/apps/filemanager/filemanagermenu.lua   | 10 ++++++++++
 frontend/ui/widget/container/framecontainer.lua |  6 ++++--
 2 files changed, 14 insertions(+), 2 deletions(-)

diff --git a/frontend/apps/filemanager/filemanagermenu.lua b/frontend/apps/filemanager/filemanagermenu.lua
index 34888217b..38c4db13a 100644
--- a/frontend/apps/filemanager/filemanagermenu.lua
+++ b/frontend/apps/filemanager/filemanagermenu.lua
@@ -686,6 +686,16 @@ To:
             UIManager:askForRestart()
         end,
     })
+    table.insert(self.menu_items.developer_options.sub_item_table, {
+        text = _("Anti-alias UI elements"),
+        checked_func = function()
+            return G_reader_settings:readSetting("anti_alias_ui", 1) ~= 0
+        end,
+        callback = function()
+            local old_val = G_reader_settings:readSetting("anti_alias_ui", 1)
+            G_reader_settings:saveSetting("anti_alias_ui", 1 - old_val)
+        end,
+    })
     table.insert(self.menu_items.developer_options.sub_item_table, {
         text = _("UI layout mirroring and text direction"),
         sub_item_table = {
diff --git a/frontend/ui/widget/container/framecontainer.lua b/frontend/ui/widget/container/framecontainer.lua
index 9ee3ca1c0..b72b1d2a4 100644
--- a/frontend/ui/widget/container/framecontainer.lua
+++ b/frontend/ui/widget/container/framecontainer.lua
@@ -118,7 +118,7 @@ function FrameContainer:paintTo(bb, x, y)
         else
             bb:paintRoundedRect(x, y,
                                 container_width, container_height,
-                                self.background, self.radius - self.bordersize)
+                                self.background, self.radius + self.bordersize)
         end
     end
     if self.stripe_width and self.stripe_color and not self.stripe_over then
@@ -135,7 +135,9 @@ function FrameContainer:paintTo(bb, x, y)
             self.inner_bordersize, self.color, self.radius)
     end
     if self.bordersize > 0 then
-        local anti_alias = 1 -- get value from configuration here xxx
+        local anti_alias = G_reader_settings:readSetting("anti_alias_ui", 1);
+        require("logger").dbg("anti_alias_ui:", type(anti_alias), anti_alias);
+
         bb:paintBorder(x + self.margin, y + self.margin,
             container_width - self.margin * 2,
             container_height - self.margin * 2,