Added an option to toggle between rounded and squared tooltips

2024-03-15 15:46:38 -03:00
parent 47bad31a56
commit 2421b29665
5 changed files with 29 additions and 10 deletions
@@ -4417,6 +4417,17 @@ do
                desc = "Divisor Color",
            },

+            {--rounded corner
+                type = "toggle",
+                get = function() return Details.tooltip.rounded_corner end,
+                set = function(self, fixedparam, value)
+                    Details.tooltip.rounded_corner = value
+                    afterUpdate()
+                end,
+                name = "Show Rounded Border",
+                desc = "Show Rounded Border",
+            },
+
            {type = "blank"},

            {--show amount