Add folded boxes as TextDecoration
Preview the folded scope in a Tooltip
Improve tooltip system
Fix bug when deleting a folded trigger block

all sublocks must be deleted too otherwise they remain hidden