fix
This commit is contained in:
parent
755261fc92
commit
b29b438789
@ -1,10 +1,12 @@
|
|||||||
history = session.get_entry("commands_history")
|
history = session.get_entry("commands_history")
|
||||||
history_pointer = #history
|
history_pointer = #history
|
||||||
|
|
||||||
|
local warning_id = 0
|
||||||
events.on("core:warning", function (wtype, text)
|
events.on("core:warning", function (wtype, text)
|
||||||
document.problemsLog:add(gui.template("problem", {
|
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)
|
end)
|
||||||
|
|
||||||
function setup_variables()
|
function setup_variables()
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user