Lines Matching refs:cmd
127 def insert_text(cmd: Option[Command], text: String): Linear_Set[Command] =
128 if (text == "") commands else commands.insert_after(cmd, Command.text(text))
131 case (cmd, cmd_start) =>
132 e.can_edit(cmd.source, cmd_start) ||
133 e.is_insert && e.start == cmd_start + cmd.length
135 case Some((cmd, cmd_start)) if e.can_edit(cmd.source, cmd_start) =>
136 val (rest, text) = e.edit(cmd.source, cmd_start)
137 val new_commands = insert_text(Some(cmd), text) - cmd
140 case Some((cmd, cmd_start)) =>
141 edit_text(es, insert_text(Some(cmd), e.text))
160 case (cmd :: cmds, (blobs_info, span) :: rest)
161 if cmd.blobs_info == blobs_info && cmd.span == span => chop_common(cmds, rest)
190 case cmd :: _ =>
191 val hook = commands.prev(cmd)
208 removed.map(cmd => (old_cmds.prev(cmd), None)) reverse_:::
209 inserted.map(cmd => (new_cmds.prev(cmd), Some(cmd)))
230 cmds.iterator(from).dropWhile(cmd => !cmd.is_proper || is_visible(cmd))