equal
deleted
inserted
replaced
39 { |
39 { |
40 def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink = |
40 def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink = |
41 { |
41 { |
42 Document_Model(buffer) match { |
42 Document_Model(buffer) match { |
43 case Some(model) => |
43 case Some(model) => |
44 val document = model.current_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) => |
47 case Some(command) => |
48 command.ref_at(document, offset - command.start(document)) match { |
48 command.ref_at(document, offset - command.start(document)) match { |
49 case Some(ref) => |
49 case Some(ref) => |