diff --git a/res/layouts/console.xml.lua b/res/layouts/console.xml.lua index 79a82e3f..791e1fb2 100644 --- a/res/layouts/console.xml.lua +++ b/res/layouts/console.xml.lua @@ -1,10 +1,12 @@ history = session.get_entry("commands_history") history_pointer = #history +local warning_id = 0 events.on("core:warning", function (wtype, text) document.problemsLog:add(gui.template("problem", { - type="warning", text=wtype..": "..text, id=tostring(math.random()) + type="warning", text=wtype..": "..text, id=tostring(warning_id) })) + warning_id = warning_id + 1 end) function setup_variables()