Allow setting custom widget ids

This commit is contained in:
Matthias Richter 2013-01-23 13:18:58 +01:00
parent f799f48164
commit e5c9e7e29f
7 changed files with 13 additions and 8 deletions

View file

@ -48,7 +48,7 @@ return function(w)
end
-- Generate unique identifier for gui state update and querying.
local id = core.generateID()
local id = w.id or core.generateID()
-- group.getRect determines the position and size of the widget according
-- to the currently active group. Both arguments may be omitted.