typeterm editor: fix get_addr_view & get_mode_view
This commit is contained in:
parent
070131b7fc
commit
bbac1c3d5a
1 changed files with 2 additions and 4 deletions
|
@ -274,13 +274,11 @@ impl TreeNav for TypeTermEditor {
|
|||
}
|
||||
|
||||
fn get_addr_view(&self) -> OuterViewPort<dyn SequenceView<Item = isize>> {
|
||||
// fixme this is wrong
|
||||
self.cur_node.get().get_addr_view()
|
||||
self.cur_node.get_port().map(|x| x.get_addr_view()).to_sequence().flatten()
|
||||
}
|
||||
|
||||
fn get_mode_view(&self) -> OuterViewPort<dyn SingletonView<Item = ListCursorMode>> {
|
||||
// this is wrong
|
||||
self.cur_node.get().get_mode_view()
|
||||
self.cur_node.get_port().map(|x| x.get_mode_view()).flatten()
|
||||
}
|
||||
|
||||
fn get_cursor_warp(&self) -> TreeCursor {
|
||||
|
|
Loading…
Reference in a new issue