Skip to content
Snippets Groups Projects
Commit e35a5d12 authored by Jürg Billeter's avatar Jürg Billeter
Browse files

element.py: Defer workspace.prepared setting in case of pending commands

parent 4ff52d55
No related branches found
No related tags found
No related merge requests found
......@@ -2075,7 +2075,12 @@ class Element(Plugin):
self.prepare(sandbox)
if workspace:
workspace.prepared = True
def mark_workspace_prepared():
workspace.prepared = True
# Defer workspace.prepared setting until pending batch commands
# have been executed.
sandbox._callback(mark_workspace_prepared)
def __is_cached(self, keystrength):
if keystrength is None:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment