context: fix is_list_type for App&Ladder types; properly reset cursor when remaining in same height after insert

nested/src/editors/list/cmd.rs

@@ -71,11 +71,11 @@ impl ObjCommander for ListEditor {
                         match cur.mode {
                             ListCursorMode::Select => {                        
                                 if let Some(mut item) = self.get_item().clone() {
-                                    if self.is_listlist() {
                                     let item_cur = item.get_cursor();
                                     
                                     match cmd.get() {
                                         ListCmd::DeletePxev => {
+                                            eprintln!("SELECT: delete pxev");
                                             if idx > 0
                                                 && item_cur.tree_addr.iter().fold(
                                                     true,
@@ -117,9 +117,7 @@ impl ObjCommander for ListEditor {
                                         }
                                     }
                                 } else {
-                                        TreeNavResult::Exit
+                                    eprintln!("ptylist: no item");
-                                    }
-                                } else {
                                     TreeNavResult::Exit
                                 }
                             },

nested/src/editors/list/editor.rs

@@ -245,6 +245,8 @@ impl ListEditor {
                     if self.is_listlist() {
                         cur.mode = ListCursorMode::Select;
                     } else {
+                        eprintln!("list insert: is not a listlist ({:?})", self.typ);
+                        item.write().unwrap().goto(TreeCursor::none());
                         cur.idx = Some(idx + 1);
                     }
                 }

nested/src/editors/list/pty_editor.rs

@@ -65,6 +65,8 @@ impl PTYListStyle {
 
 //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
 
+// todo: rename to CharController
+
 pub struct PTYListController {
     pub editor: Arc<RwLock<ListEditor>>,
 

nested/src/type_system/context.rs

@@ -196,6 +196,18 @@ impl Context {
             TypeTerm::TypeID(id) => {
                 self.list_types.contains(id)
             }
+            TypeTerm::Ladder(args) |
+            TypeTerm::App(args) => {
+                if args.len() > 0 {
+                    if self.is_list_type(&args[0]) {
+                        true
+                    } else {
+                        false
+                    }
+                } else {
+                    false
+                }
+            }
             _ => false
         }
     }