mirror of
https://github.com/Insality/druid.git
synced 2025-09-28 02:22:18 +02:00
Update properties for panel
This commit is contained in:
@@ -329,6 +329,12 @@ function M:remove(widget)
|
||||
end
|
||||
|
||||
|
||||
---Force to refresh properties next update
|
||||
function M:set_dirty()
|
||||
self.is_dirty = true
|
||||
end
|
||||
|
||||
|
||||
function M:set_hidden(is_hidden)
|
||||
self._is_hidden = is_hidden
|
||||
local hidden_size = gui.get_size(self:get_node("header"))
|
||||
|
Reference in New Issue
Block a user