Make number bold

2025-12-27 19:45:22 +09:00 · 2021-01-27 22:13:03 +01:00
parent 10059f5ea9
commit 1042fe6379
1 changed files with 1 additions and 0 deletions
--- a/modules/gui/task-list.lua
+++ b/modules/gui/task-list.lua
@@ -205,6 +205,7 @@ Gui.element(function(_, parent, task)
        caption = '#)'
    }
    task_number.style.padding = 0
+    task_number.style.font = 'default-semibold'

    -- Add name flow this will contain the task label and textbox
    local task_flow = parent.add{