equal
deleted
inserted
replaced
43 case Some(model) => |
43 case Some(model) => |
44 val document = model.recent_document() |
44 val document = model.recent_document() |
45 val offset = model.from_current(document, original_offset) |
45 val offset = model.from_current(document, original_offset) |
46 document.command_at(offset) match { |
46 document.command_at(offset) match { |
47 case Some((command, command_start)) => |
47 case Some((command, command_start)) => |
48 document.current_state(command).ref_at(offset - command_start) match { |
48 document.current_state(command).get.ref_at(offset - command_start) match { |
49 case Some(ref) => |
49 case Some(ref) => |
50 val begin = model.to_current(document, command_start + ref.start) |
50 val begin = model.to_current(document, command_start + ref.start) |
51 val line = buffer.getLineOfOffset(begin) |
51 val line = buffer.getLineOfOffset(begin) |
52 val end = model.to_current(document, command_start + ref.stop) |
52 val end = model.to_current(document, command_start + ref.stop) |
53 ref.info match { |
53 ref.info match { |