Widget source in infolog.diff (545 bytes)
2009-08-18 19:45
--- D:/Games/Spring/LuaUI/widgets_0.79.1.2.lua Di Jun 23 21:00:32 2009
+++ D:/Games/Spring/LuaUI/widgets_meltrax.lua Di Aug 18 19:43:37 2009
@@ -365,7 +365,8 @@
local name = w.whInfo.name
local basename = w.whInfo.basename
- Spring.Echo(string.format("Loaded widget: %-18s <%s>", name, basename))
+ local source = self.knownWidgets[name].fromZip and "mod: " or "user:"
+ Spring.Echo(string.format("Loaded widget from %s %-18s <%s>", source, name, basename))
end
-- save the active widgets, and their ordering