diff --git a/redo/shed b/redo/shed new file mode 100644 index 00000000..50572e7e --- /dev/null +++ b/redo/shed @@ -0,0 +1,27 @@ +show + unset hidden flag + update state +hide + set hidden flag + update state +enable + unset disabled flag + update state +disable + set disabled flag + update state +update state + if shown and all parents shown + commit show + else + commit hide + if enabled and all parents enabled + commit enable + else + commit disable + update container stat +update container state, non-containers + do nothing +update container state, containers + for all children + update child state