Commit 6a0224ad authored by MARCHE Claude's avatar MARCHE Claude

forbid removal of files in sessions

parent e5a79f53
......@@ -879,7 +879,7 @@ let remove_subtree ~(notification:notifier) ~(removed:notifier) s (n: any) =
| ATh _th -> (* Not in any table *) ()
in
match n with
| (APn _ | ATh _) when not (is_detached s n) ->
| (AFile _ | APn _ | ATh _) when not (is_detached s n) ->
raise RemoveError
| _ ->
let p = get_any_parent s n in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment