Merge branch 'exit_editing_mode' into 'dev'

exit editing mode on navigation

See merge request !176

lib/MemriApp/Controllers/SceneController.dart

@@ -279,6 +279,10 @@ class SceneController extends ChangeNotifier {
     return pageControllers.firstWhereOrNull((pageController) => pageController.label == label);
   }
 
+  exitEditMode() {
+    pageControllers.forEach((pageController) => pageController.isInEditMode.value = false);
+  }
+
   scheduleUIUpdate() {
     pageControllers.forEach((pageController) {
       pageController.scheduleUIUpdate();

lib/MemriApp/UI/Navigation/NavigationPaneView.dart

@@ -78,6 +78,7 @@ class NavigationItemView extends StatelessWidget {
     return TextButton(
       onPressed: item.targetViewName != null
           ? () {
+              sceneController.exitEditMode();
               sceneController.navigateToNewContext(
                   clearStack: true, animated: false, viewName: item.targetViewName);
               sceneController.navigationIsVisible.value = false;