remove unused imports
This commit is contained in:
parent
e22f4cc9ac
commit
3aec30e32a
5 changed files with 3 additions and 18 deletions
|
@ -1,7 +1,4 @@
|
||||||
use {
|
use {
|
||||||
r3vi::{
|
|
||||||
view::{sequence::*}
|
|
||||||
},
|
|
||||||
crate::{
|
crate::{
|
||||||
type_system::{Context, TypeTerm},
|
type_system::{Context, TypeTerm},
|
||||||
editors::list::{ListEditor, PTYListController, PTYListStyle}
|
editors::list::{ListEditor, PTYListController, PTYListStyle}
|
||||||
|
|
|
@ -179,7 +179,6 @@ impl TreeNav for ProductEditor {
|
||||||
match e.goby(direction) {
|
match e.goby(direction) {
|
||||||
TreeNavResult::Exit => {
|
TreeNavResult::Exit => {
|
||||||
// *cur_depth = 1;
|
// *cur_depth = 1;
|
||||||
drop(e);
|
|
||||||
|
|
||||||
if direction.y < 0 {
|
if direction.y < 0 {
|
||||||
if depth <= (1-direction.y) as usize {
|
if depth <= (1-direction.y) as usize {
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
use {
|
use {
|
||||||
r3vi::{
|
r3vi::{
|
||||||
view::{singleton::*, sequence::*}
|
view::{singleton::*}
|
||||||
},
|
},
|
||||||
crate::{
|
crate::{
|
||||||
type_system::{ReprTree},
|
type_system::{ReprTree},
|
||||||
|
|
|
@ -1,7 +1,4 @@
|
||||||
use {
|
use {
|
||||||
r3vi::{
|
|
||||||
view::{singleton::*, sequence::*}
|
|
||||||
},
|
|
||||||
crate::{
|
crate::{
|
||||||
type_system::{Context, TypeTerm, MorphismTypePattern},
|
type_system::{Context, TypeTerm, MorphismTypePattern},
|
||||||
terminal::{TerminalStyle, TerminalProjections},
|
terminal::{TerminalStyle, TerminalProjections},
|
||||||
|
|
|
@ -6,8 +6,7 @@ pub use ctx::init_ctx;
|
||||||
|
|
||||||
use {
|
use {
|
||||||
r3vi::{
|
r3vi::{
|
||||||
buffer::{singleton::*},
|
buffer::{singleton::*}
|
||||||
view::{singleton::*, sequence::*}
|
|
||||||
},
|
},
|
||||||
crate::{
|
crate::{
|
||||||
type_system::{Context, TypeID, TypeTerm, ReprTree},
|
type_system::{Context, TypeID, TypeTerm, ReprTree},
|
||||||
|
@ -122,17 +121,13 @@ impl TypeTermEditor {
|
||||||
editor.set_state( State::Char );
|
editor.set_state( State::Char );
|
||||||
editor.send_cmd_obj(ReprTree::from_char(&ctx, *c));
|
editor.send_cmd_obj(ReprTree::from_char(&ctx, *c));
|
||||||
}
|
}
|
||||||
|
|
||||||
_ => {}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
node.goto(TreeCursor::none());
|
node.goto(TreeCursor::none());
|
||||||
node
|
node
|
||||||
}
|
}
|
||||||
|
|
||||||
fn set_state(&mut self, new_state: State) {
|
|
||||||
let old_node = self.cur_node.get();
|
|
||||||
|
|
||||||
|
fn set_state(&mut self, new_state: State) {
|
||||||
let mut node = match new_state {
|
let mut node = match new_state {
|
||||||
State::Any => {
|
State::Any => {
|
||||||
Context::make_node( &self.ctx, (&self.ctx, "( List Char )").into(), self.depth ).unwrap()
|
Context::make_node( &self.ctx, (&self.ctx, "( List Char )").into(), self.depth ).unwrap()
|
||||||
|
@ -168,9 +163,6 @@ impl TypeTermEditor {
|
||||||
Context::make_node( &self.ctx, (&self.ctx, "( Char )").into(), self.depth ).unwrap()
|
Context::make_node( &self.ctx, (&self.ctx, "( Char )").into(), self.depth ).unwrap()
|
||||||
.morph( (&self.ctx, "( Type::Lit::Char )").into() )
|
.morph( (&self.ctx, "( Type::Lit::Char )").into() )
|
||||||
}
|
}
|
||||||
_ => {
|
|
||||||
old_node
|
|
||||||
}
|
|
||||||
};
|
};
|
||||||
|
|
||||||
node.goto(TreeCursor::home());
|
node.goto(TreeCursor::home());
|
||||||
|
|
Loading…
Reference in a new issue