show/hide examples

src/message/example_edit.py

@@ -82,3 +82,9 @@ class ExampleComponentRemove(NoReset):
         component_num = self.get_arg(1, int)
         
         example.copy().components.splice(component_num, 1)
+
+
+class ToggleExamples(Message):
+    def update_model(self, model):
+        model.examples_shown = not model.examples_shown
+