1use crate::{
2 assistant_settings::AssistantSettings, humanize_token_count, prompts::PromptBuilder,
3 AssistantPanel, AssistantPanelEvent, CharOperation, LineDiff, LineOperation, ModelSelector,
4 StreamingDiff,
5};
6use anyhow::{anyhow, Context as _, Result};
7use client::{telemetry::Telemetry, ErrorExt};
8use collections::{hash_map, HashMap, HashSet, VecDeque};
9use editor::{
10 actions::{MoveDown, MoveUp, SelectAll},
11 display_map::{
12 BlockContext, BlockDisposition, BlockProperties, BlockStyle, CustomBlockId, RenderBlock,
13 ToDisplayPoint,
14 },
15 Anchor, AnchorRangeExt, Editor, EditorElement, EditorEvent, EditorMode, EditorStyle,
16 ExcerptRange, GutterDimensions, MultiBuffer, MultiBufferSnapshot, ToOffset, ToPoint,
17};
18use feature_flags::{FeatureFlagAppExt as _, ZedPro};
19use fs::Fs;
20use futures::{
21 channel::mpsc,
22 future::{BoxFuture, LocalBoxFuture},
23 join,
24 stream::{self, BoxStream},
25 SinkExt, Stream, StreamExt,
26};
27use gpui::{
28 anchored, deferred, point, AppContext, ClickEvent, EventEmitter, FocusHandle, FocusableView,
29 FontWeight, Global, HighlightStyle, Model, ModelContext, Subscription, Task, TextStyle,
30 UpdateGlobal, View, ViewContext, WeakView, WindowContext,
31};
32use language::{Buffer, IndentKind, Point, Selection, TransactionId};
33use language_model::{
34 LanguageModelRegistry, LanguageModelRequest, LanguageModelRequestMessage, Role,
35};
36use multi_buffer::MultiBufferRow;
37use parking_lot::Mutex;
38use rope::Rope;
39use settings::{Settings, SettingsStore};
40use smol::future::FutureExt;
41use std::{
42 cmp,
43 future::{self, Future},
44 mem,
45 ops::{Range, RangeInclusive},
46 pin::Pin,
47 sync::Arc,
48 task::{self, Poll},
49 time::{Duration, Instant},
50};
51use terminal_view::terminal_panel::TerminalPanel;
52use theme::ThemeSettings;
53use ui::{prelude::*, CheckboxWithLabel, IconButtonShape, Popover, Tooltip};
54use util::{RangeExt, ResultExt};
55use workspace::{notifications::NotificationId, Toast, Workspace};
56
57pub fn init(
58 fs: Arc<dyn Fs>,
59 prompt_builder: Arc<PromptBuilder>,
60 telemetry: Arc<Telemetry>,
61 cx: &mut AppContext,
62) {
63 cx.set_global(InlineAssistant::new(fs, prompt_builder, telemetry));
64 cx.observe_new_views(|_, cx| {
65 let workspace = cx.view().clone();
66 InlineAssistant::update_global(cx, |inline_assistant, cx| {
67 inline_assistant.register_workspace(&workspace, cx)
68 })
69 })
70 .detach();
71}
72
73const PROMPT_HISTORY_MAX_LEN: usize = 20;
74
75pub struct InlineAssistant {
76 next_assist_id: InlineAssistId,
77 next_assist_group_id: InlineAssistGroupId,
78 assists: HashMap<InlineAssistId, InlineAssist>,
79 assists_by_editor: HashMap<WeakView<Editor>, EditorInlineAssists>,
80 assist_groups: HashMap<InlineAssistGroupId, InlineAssistGroup>,
81 assist_observations: HashMap<
82 InlineAssistId,
83 (
84 async_watch::Sender<AssistStatus>,
85 async_watch::Receiver<AssistStatus>,
86 ),
87 >,
88 confirmed_assists: HashMap<InlineAssistId, Model<Codegen>>,
89 prompt_history: VecDeque<String>,
90 prompt_builder: Arc<PromptBuilder>,
91 telemetry: Option<Arc<Telemetry>>,
92 fs: Arc<dyn Fs>,
93}
94
95pub enum AssistStatus {
96 Idle,
97 Started,
98 Stopped,
99 Finished,
100}
101
102impl AssistStatus {
103 pub fn is_done(&self) -> bool {
104 matches!(self, Self::Stopped | Self::Finished)
105 }
106}
107
108impl Global for InlineAssistant {}
109
110impl InlineAssistant {
111 pub fn new(
112 fs: Arc<dyn Fs>,
113 prompt_builder: Arc<PromptBuilder>,
114 telemetry: Arc<Telemetry>,
115 ) -> Self {
116 Self {
117 next_assist_id: InlineAssistId::default(),
118 next_assist_group_id: InlineAssistGroupId::default(),
119 assists: HashMap::default(),
120 assists_by_editor: HashMap::default(),
121 assist_groups: HashMap::default(),
122 assist_observations: HashMap::default(),
123 confirmed_assists: HashMap::default(),
124 prompt_history: VecDeque::default(),
125 prompt_builder,
126 telemetry: Some(telemetry),
127 fs,
128 }
129 }
130
131 pub fn register_workspace(&mut self, workspace: &View<Workspace>, cx: &mut WindowContext) {
132 cx.subscribe(workspace, |_, event, cx| {
133 Self::update_global(cx, |this, cx| this.handle_workspace_event(event, cx));
134 })
135 .detach();
136
137 let workspace = workspace.clone();
138 cx.observe_global::<SettingsStore>(move |cx| {
139 let Some(terminal_panel) = workspace.read(cx).panel::<TerminalPanel>(cx) else {
140 return;
141 };
142 let enabled = AssistantSettings::get_global(cx).enabled;
143 terminal_panel.update(cx, |terminal_panel, cx| {
144 terminal_panel.asssistant_enabled(enabled, cx)
145 });
146 })
147 .detach();
148 }
149
150 fn handle_workspace_event(&mut self, event: &workspace::Event, cx: &mut WindowContext) {
151 // When the user manually saves an editor, automatically accepts all finished transformations.
152 if let workspace::Event::UserSavedItem { item, .. } = event {
153 if let Some(editor) = item.upgrade().and_then(|item| item.act_as::<Editor>(cx)) {
154 if let Some(editor_assists) = self.assists_by_editor.get(&editor.downgrade()) {
155 for assist_id in editor_assists.assist_ids.clone() {
156 let assist = &self.assists[&assist_id];
157 if let CodegenStatus::Done = &assist.codegen.read(cx).status {
158 self.finish_assist(assist_id, false, cx)
159 }
160 }
161 }
162 }
163 }
164 }
165
166 pub fn assist(
167 &mut self,
168 editor: &View<Editor>,
169 workspace: Option<WeakView<Workspace>>,
170 assistant_panel: Option<&View<AssistantPanel>>,
171 initial_prompt: Option<String>,
172 cx: &mut WindowContext,
173 ) {
174 let snapshot = editor.read(cx).buffer().read(cx).snapshot(cx);
175
176 let mut selections = Vec::<Selection<Point>>::new();
177 let mut newest_selection = None;
178 for mut selection in editor.read(cx).selections.all::<Point>(cx) {
179 if selection.end > selection.start {
180 selection.start.column = 0;
181 // If the selection ends at the start of the line, we don't want to include it.
182 if selection.end.column == 0 {
183 selection.end.row -= 1;
184 }
185 selection.end.column = snapshot.line_len(MultiBufferRow(selection.end.row));
186 }
187
188 if let Some(prev_selection) = selections.last_mut() {
189 if selection.start <= prev_selection.end {
190 prev_selection.end = selection.end;
191 continue;
192 }
193 }
194
195 let latest_selection = newest_selection.get_or_insert_with(|| selection.clone());
196 if selection.id > latest_selection.id {
197 *latest_selection = selection.clone();
198 }
199 selections.push(selection);
200 }
201 let newest_selection = newest_selection.unwrap();
202
203 let mut codegen_ranges = Vec::new();
204 for (excerpt_id, buffer, buffer_range) in
205 snapshot.excerpts_in_ranges(selections.iter().map(|selection| {
206 snapshot.anchor_before(selection.start)..snapshot.anchor_after(selection.end)
207 }))
208 {
209 let start = Anchor {
210 buffer_id: Some(buffer.remote_id()),
211 excerpt_id,
212 text_anchor: buffer.anchor_before(buffer_range.start),
213 };
214 let end = Anchor {
215 buffer_id: Some(buffer.remote_id()),
216 excerpt_id,
217 text_anchor: buffer.anchor_after(buffer_range.end),
218 };
219 codegen_ranges.push(start..end);
220 }
221
222 let assist_group_id = self.next_assist_group_id.post_inc();
223 let prompt_buffer =
224 cx.new_model(|cx| Buffer::local(initial_prompt.unwrap_or_default(), cx));
225 let prompt_buffer = cx.new_model(|cx| MultiBuffer::singleton(prompt_buffer, cx));
226
227 let mut assists = Vec::new();
228 let mut assist_to_focus = None;
229 for range in codegen_ranges {
230 let assist_id = self.next_assist_id.post_inc();
231 let codegen = cx.new_model(|cx| {
232 Codegen::new(
233 editor.read(cx).buffer().clone(),
234 range.clone(),
235 None,
236 self.telemetry.clone(),
237 self.prompt_builder.clone(),
238 cx,
239 )
240 });
241
242 let gutter_dimensions = Arc::new(Mutex::new(GutterDimensions::default()));
243 let prompt_editor = cx.new_view(|cx| {
244 PromptEditor::new(
245 assist_id,
246 gutter_dimensions.clone(),
247 self.prompt_history.clone(),
248 prompt_buffer.clone(),
249 codegen.clone(),
250 editor,
251 assistant_panel,
252 workspace.clone(),
253 self.fs.clone(),
254 cx,
255 )
256 });
257
258 if assist_to_focus.is_none() {
259 let focus_assist = if newest_selection.reversed {
260 range.start.to_point(&snapshot) == newest_selection.start
261 } else {
262 range.end.to_point(&snapshot) == newest_selection.end
263 };
264 if focus_assist {
265 assist_to_focus = Some(assist_id);
266 }
267 }
268
269 let [prompt_block_id, end_block_id] =
270 self.insert_assist_blocks(editor, &range, &prompt_editor, cx);
271
272 assists.push((
273 assist_id,
274 range,
275 prompt_editor,
276 prompt_block_id,
277 end_block_id,
278 ));
279 }
280
281 let editor_assists = self
282 .assists_by_editor
283 .entry(editor.downgrade())
284 .or_insert_with(|| EditorInlineAssists::new(&editor, cx));
285 let mut assist_group = InlineAssistGroup::new();
286 for (assist_id, range, prompt_editor, prompt_block_id, end_block_id) in assists {
287 self.assists.insert(
288 assist_id,
289 InlineAssist::new(
290 assist_id,
291 assist_group_id,
292 assistant_panel.is_some(),
293 editor,
294 &prompt_editor,
295 prompt_block_id,
296 end_block_id,
297 range,
298 prompt_editor.read(cx).codegen.clone(),
299 workspace.clone(),
300 cx,
301 ),
302 );
303 assist_group.assist_ids.push(assist_id);
304 editor_assists.assist_ids.push(assist_id);
305 }
306 self.assist_groups.insert(assist_group_id, assist_group);
307
308 if let Some(assist_id) = assist_to_focus {
309 self.focus_assist(assist_id, cx);
310 }
311 }
312
313 #[allow(clippy::too_many_arguments)]
314 pub fn suggest_assist(
315 &mut self,
316 editor: &View<Editor>,
317 mut range: Range<Anchor>,
318 initial_prompt: String,
319 initial_transaction_id: Option<TransactionId>,
320 workspace: Option<WeakView<Workspace>>,
321 assistant_panel: Option<&View<AssistantPanel>>,
322 cx: &mut WindowContext,
323 ) -> InlineAssistId {
324 let assist_group_id = self.next_assist_group_id.post_inc();
325 let prompt_buffer = cx.new_model(|cx| Buffer::local(&initial_prompt, cx));
326 let prompt_buffer = cx.new_model(|cx| MultiBuffer::singleton(prompt_buffer, cx));
327
328 let assist_id = self.next_assist_id.post_inc();
329
330 let buffer = editor.read(cx).buffer().clone();
331 {
332 let snapshot = buffer.read(cx).read(cx);
333 range.start = range.start.bias_left(&snapshot);
334 range.end = range.end.bias_right(&snapshot);
335 }
336
337 let codegen = cx.new_model(|cx| {
338 Codegen::new(
339 editor.read(cx).buffer().clone(),
340 range.clone(),
341 initial_transaction_id,
342 self.telemetry.clone(),
343 self.prompt_builder.clone(),
344 cx,
345 )
346 });
347
348 let gutter_dimensions = Arc::new(Mutex::new(GutterDimensions::default()));
349 let prompt_editor = cx.new_view(|cx| {
350 PromptEditor::new(
351 assist_id,
352 gutter_dimensions.clone(),
353 self.prompt_history.clone(),
354 prompt_buffer.clone(),
355 codegen.clone(),
356 editor,
357 assistant_panel,
358 workspace.clone(),
359 self.fs.clone(),
360 cx,
361 )
362 });
363
364 let [prompt_block_id, end_block_id] =
365 self.insert_assist_blocks(editor, &range, &prompt_editor, cx);
366
367 let editor_assists = self
368 .assists_by_editor
369 .entry(editor.downgrade())
370 .or_insert_with(|| EditorInlineAssists::new(&editor, cx));
371
372 let mut assist_group = InlineAssistGroup::new();
373 self.assists.insert(
374 assist_id,
375 InlineAssist::new(
376 assist_id,
377 assist_group_id,
378 assistant_panel.is_some(),
379 editor,
380 &prompt_editor,
381 prompt_block_id,
382 end_block_id,
383 range,
384 prompt_editor.read(cx).codegen.clone(),
385 workspace.clone(),
386 cx,
387 ),
388 );
389 assist_group.assist_ids.push(assist_id);
390 editor_assists.assist_ids.push(assist_id);
391 self.assist_groups.insert(assist_group_id, assist_group);
392 assist_id
393 }
394
395 fn insert_assist_blocks(
396 &self,
397 editor: &View<Editor>,
398 range: &Range<Anchor>,
399 prompt_editor: &View<PromptEditor>,
400 cx: &mut WindowContext,
401 ) -> [CustomBlockId; 2] {
402 let prompt_editor_height = prompt_editor.update(cx, |prompt_editor, cx| {
403 prompt_editor
404 .editor
405 .update(cx, |editor, cx| editor.max_point(cx).row().0 + 1 + 2)
406 });
407 let assist_blocks = vec![
408 BlockProperties {
409 style: BlockStyle::Sticky,
410 position: range.start,
411 height: prompt_editor_height,
412 render: build_assist_editor_renderer(prompt_editor),
413 disposition: BlockDisposition::Above,
414 priority: 0,
415 },
416 BlockProperties {
417 style: BlockStyle::Sticky,
418 position: range.end,
419 height: 0,
420 render: Box::new(|cx| {
421 v_flex()
422 .h_full()
423 .w_full()
424 .border_t_1()
425 .border_color(cx.theme().status().info_border)
426 .into_any_element()
427 }),
428 disposition: BlockDisposition::Below,
429 priority: 0,
430 },
431 ];
432
433 editor.update(cx, |editor, cx| {
434 let block_ids = editor.insert_blocks(assist_blocks, None, cx);
435 [block_ids[0], block_ids[1]]
436 })
437 }
438
439 fn handle_prompt_editor_focus_in(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) {
440 let assist = &self.assists[&assist_id];
441 let Some(decorations) = assist.decorations.as_ref() else {
442 return;
443 };
444 let assist_group = self.assist_groups.get_mut(&assist.group_id).unwrap();
445 let editor_assists = self.assists_by_editor.get_mut(&assist.editor).unwrap();
446
447 assist_group.active_assist_id = Some(assist_id);
448 if assist_group.linked {
449 for assist_id in &assist_group.assist_ids {
450 if let Some(decorations) = self.assists[assist_id].decorations.as_ref() {
451 decorations.prompt_editor.update(cx, |prompt_editor, cx| {
452 prompt_editor.set_show_cursor_when_unfocused(true, cx)
453 });
454 }
455 }
456 }
457
458 assist
459 .editor
460 .update(cx, |editor, cx| {
461 let scroll_top = editor.scroll_position(cx).y;
462 let scroll_bottom = scroll_top + editor.visible_line_count().unwrap_or(0.);
463 let prompt_row = editor
464 .row_for_block(decorations.prompt_block_id, cx)
465 .unwrap()
466 .0 as f32;
467
468 if (scroll_top..scroll_bottom).contains(&prompt_row) {
469 editor_assists.scroll_lock = Some(InlineAssistScrollLock {
470 assist_id,
471 distance_from_top: prompt_row - scroll_top,
472 });
473 } else {
474 editor_assists.scroll_lock = None;
475 }
476 })
477 .ok();
478 }
479
480 fn handle_prompt_editor_focus_out(
481 &mut self,
482 assist_id: InlineAssistId,
483 cx: &mut WindowContext,
484 ) {
485 let assist = &self.assists[&assist_id];
486 let assist_group = self.assist_groups.get_mut(&assist.group_id).unwrap();
487 if assist_group.active_assist_id == Some(assist_id) {
488 assist_group.active_assist_id = None;
489 if assist_group.linked {
490 for assist_id in &assist_group.assist_ids {
491 if let Some(decorations) = self.assists[assist_id].decorations.as_ref() {
492 decorations.prompt_editor.update(cx, |prompt_editor, cx| {
493 prompt_editor.set_show_cursor_when_unfocused(false, cx)
494 });
495 }
496 }
497 }
498 }
499 }
500
501 fn handle_prompt_editor_event(
502 &mut self,
503 prompt_editor: View<PromptEditor>,
504 event: &PromptEditorEvent,
505 cx: &mut WindowContext,
506 ) {
507 let assist_id = prompt_editor.read(cx).id;
508 match event {
509 PromptEditorEvent::StartRequested => {
510 self.start_assist(assist_id, cx);
511 }
512 PromptEditorEvent::StopRequested => {
513 self.stop_assist(assist_id, cx);
514 }
515 PromptEditorEvent::ConfirmRequested => {
516 self.finish_assist(assist_id, false, cx);
517 }
518 PromptEditorEvent::CancelRequested => {
519 self.finish_assist(assist_id, true, cx);
520 }
521 PromptEditorEvent::DismissRequested => {
522 self.dismiss_assist(assist_id, cx);
523 }
524 }
525 }
526
527 fn handle_editor_newline(&mut self, editor: View<Editor>, cx: &mut WindowContext) {
528 let Some(editor_assists) = self.assists_by_editor.get(&editor.downgrade()) else {
529 return;
530 };
531
532 let editor = editor.read(cx);
533 if editor.selections.count() == 1 {
534 let selection = editor.selections.newest::<usize>(cx);
535 let buffer = editor.buffer().read(cx).snapshot(cx);
536 for assist_id in &editor_assists.assist_ids {
537 let assist = &self.assists[assist_id];
538 let assist_range = assist.range.to_offset(&buffer);
539 if assist_range.contains(&selection.start) && assist_range.contains(&selection.end)
540 {
541 if matches!(assist.codegen.read(cx).status, CodegenStatus::Pending) {
542 self.dismiss_assist(*assist_id, cx);
543 } else {
544 self.finish_assist(*assist_id, false, cx);
545 }
546
547 return;
548 }
549 }
550 }
551
552 cx.propagate();
553 }
554
555 fn handle_editor_cancel(&mut self, editor: View<Editor>, cx: &mut WindowContext) {
556 let Some(editor_assists) = self.assists_by_editor.get(&editor.downgrade()) else {
557 return;
558 };
559
560 let editor = editor.read(cx);
561 if editor.selections.count() == 1 {
562 let selection = editor.selections.newest::<usize>(cx);
563 let buffer = editor.buffer().read(cx).snapshot(cx);
564 let mut closest_assist_fallback = None;
565 for assist_id in &editor_assists.assist_ids {
566 let assist = &self.assists[assist_id];
567 let assist_range = assist.range.to_offset(&buffer);
568 if assist.decorations.is_some() {
569 if assist_range.contains(&selection.start)
570 && assist_range.contains(&selection.end)
571 {
572 self.focus_assist(*assist_id, cx);
573 return;
574 } else {
575 let distance_from_selection = assist_range
576 .start
577 .abs_diff(selection.start)
578 .min(assist_range.start.abs_diff(selection.end))
579 + assist_range
580 .end
581 .abs_diff(selection.start)
582 .min(assist_range.end.abs_diff(selection.end));
583 match closest_assist_fallback {
584 Some((_, old_distance)) => {
585 if distance_from_selection < old_distance {
586 closest_assist_fallback =
587 Some((assist_id, distance_from_selection));
588 }
589 }
590 None => {
591 closest_assist_fallback = Some((assist_id, distance_from_selection))
592 }
593 }
594 }
595 }
596 }
597
598 if let Some((&assist_id, _)) = closest_assist_fallback {
599 self.focus_assist(assist_id, cx);
600 }
601 }
602
603 cx.propagate();
604 }
605
606 fn handle_editor_release(&mut self, editor: WeakView<Editor>, cx: &mut WindowContext) {
607 if let Some(editor_assists) = self.assists_by_editor.get_mut(&editor) {
608 for assist_id in editor_assists.assist_ids.clone() {
609 self.finish_assist(assist_id, true, cx);
610 }
611 }
612 }
613
614 fn handle_editor_change(&mut self, editor: View<Editor>, cx: &mut WindowContext) {
615 let Some(editor_assists) = self.assists_by_editor.get(&editor.downgrade()) else {
616 return;
617 };
618 let Some(scroll_lock) = editor_assists.scroll_lock.as_ref() else {
619 return;
620 };
621 let assist = &self.assists[&scroll_lock.assist_id];
622 let Some(decorations) = assist.decorations.as_ref() else {
623 return;
624 };
625
626 editor.update(cx, |editor, cx| {
627 let scroll_position = editor.scroll_position(cx);
628 let target_scroll_top = editor
629 .row_for_block(decorations.prompt_block_id, cx)
630 .unwrap()
631 .0 as f32
632 - scroll_lock.distance_from_top;
633 if target_scroll_top != scroll_position.y {
634 editor.set_scroll_position(point(scroll_position.x, target_scroll_top), cx);
635 }
636 });
637 }
638
639 fn handle_editor_event(
640 &mut self,
641 editor: View<Editor>,
642 event: &EditorEvent,
643 cx: &mut WindowContext,
644 ) {
645 let Some(editor_assists) = self.assists_by_editor.get_mut(&editor.downgrade()) else {
646 return;
647 };
648
649 match event {
650 EditorEvent::Edited { transaction_id } => {
651 let buffer = editor.read(cx).buffer().read(cx);
652 let edited_ranges =
653 buffer.edited_ranges_for_transaction::<usize>(*transaction_id, cx);
654 let snapshot = buffer.snapshot(cx);
655
656 for assist_id in editor_assists.assist_ids.clone() {
657 let assist = &self.assists[&assist_id];
658 if matches!(
659 assist.codegen.read(cx).status,
660 CodegenStatus::Error(_) | CodegenStatus::Done
661 ) {
662 let assist_range = assist.range.to_offset(&snapshot);
663 if edited_ranges
664 .iter()
665 .any(|range| range.overlaps(&assist_range))
666 {
667 self.finish_assist(assist_id, false, cx);
668 }
669 }
670 }
671 }
672 EditorEvent::ScrollPositionChanged { .. } => {
673 if let Some(scroll_lock) = editor_assists.scroll_lock.as_ref() {
674 let assist = &self.assists[&scroll_lock.assist_id];
675 if let Some(decorations) = assist.decorations.as_ref() {
676 let distance_from_top = editor.update(cx, |editor, cx| {
677 let scroll_top = editor.scroll_position(cx).y;
678 let prompt_row = editor
679 .row_for_block(decorations.prompt_block_id, cx)
680 .unwrap()
681 .0 as f32;
682 prompt_row - scroll_top
683 });
684
685 if distance_from_top != scroll_lock.distance_from_top {
686 editor_assists.scroll_lock = None;
687 }
688 }
689 }
690 }
691 EditorEvent::SelectionsChanged { .. } => {
692 for assist_id in editor_assists.assist_ids.clone() {
693 let assist = &self.assists[&assist_id];
694 if let Some(decorations) = assist.decorations.as_ref() {
695 if decorations.prompt_editor.focus_handle(cx).is_focused(cx) {
696 return;
697 }
698 }
699 }
700
701 editor_assists.scroll_lock = None;
702 }
703 _ => {}
704 }
705 }
706
707 pub fn finish_assist(&mut self, assist_id: InlineAssistId, undo: bool, cx: &mut WindowContext) {
708 if let Some(assist) = self.assists.get(&assist_id) {
709 let assist_group_id = assist.group_id;
710 if self.assist_groups[&assist_group_id].linked {
711 for assist_id in self.unlink_assist_group(assist_group_id, cx) {
712 self.finish_assist(assist_id, undo, cx);
713 }
714 return;
715 }
716 }
717
718 self.dismiss_assist(assist_id, cx);
719
720 if let Some(assist) = self.assists.remove(&assist_id) {
721 if let hash_map::Entry::Occupied(mut entry) = self.assist_groups.entry(assist.group_id)
722 {
723 entry.get_mut().assist_ids.retain(|id| *id != assist_id);
724 if entry.get().assist_ids.is_empty() {
725 entry.remove();
726 }
727 }
728
729 if let hash_map::Entry::Occupied(mut entry) =
730 self.assists_by_editor.entry(assist.editor.clone())
731 {
732 entry.get_mut().assist_ids.retain(|id| *id != assist_id);
733 if entry.get().assist_ids.is_empty() {
734 entry.remove();
735 if let Some(editor) = assist.editor.upgrade() {
736 self.update_editor_highlights(&editor, cx);
737 }
738 } else {
739 entry.get().highlight_updates.send(()).ok();
740 }
741 }
742
743 if undo {
744 assist.codegen.update(cx, |codegen, cx| codegen.undo(cx));
745 } else {
746 self.confirmed_assists.insert(assist_id, assist.codegen);
747 }
748 }
749
750 // Remove the assist from the status updates map
751 self.assist_observations.remove(&assist_id);
752 }
753
754 pub fn undo_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) -> bool {
755 let Some(codegen) = self.confirmed_assists.remove(&assist_id) else {
756 return false;
757 };
758 codegen.update(cx, |this, cx| this.undo(cx));
759 true
760 }
761
762 fn dismiss_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) -> bool {
763 let Some(assist) = self.assists.get_mut(&assist_id) else {
764 return false;
765 };
766 let Some(editor) = assist.editor.upgrade() else {
767 return false;
768 };
769 let Some(decorations) = assist.decorations.take() else {
770 return false;
771 };
772
773 editor.update(cx, |editor, cx| {
774 let mut to_remove = decorations.removed_line_block_ids;
775 to_remove.insert(decorations.prompt_block_id);
776 to_remove.insert(decorations.end_block_id);
777 editor.remove_blocks(to_remove, None, cx);
778 });
779
780 if decorations
781 .prompt_editor
782 .focus_handle(cx)
783 .contains_focused(cx)
784 {
785 self.focus_next_assist(assist_id, cx);
786 }
787
788 if let Some(editor_assists) = self.assists_by_editor.get_mut(&editor.downgrade()) {
789 if editor_assists
790 .scroll_lock
791 .as_ref()
792 .map_or(false, |lock| lock.assist_id == assist_id)
793 {
794 editor_assists.scroll_lock = None;
795 }
796 editor_assists.highlight_updates.send(()).ok();
797 }
798
799 true
800 }
801
802 fn focus_next_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) {
803 let Some(assist) = self.assists.get(&assist_id) else {
804 return;
805 };
806
807 let assist_group = &self.assist_groups[&assist.group_id];
808 let assist_ix = assist_group
809 .assist_ids
810 .iter()
811 .position(|id| *id == assist_id)
812 .unwrap();
813 let assist_ids = assist_group
814 .assist_ids
815 .iter()
816 .skip(assist_ix + 1)
817 .chain(assist_group.assist_ids.iter().take(assist_ix));
818
819 for assist_id in assist_ids {
820 let assist = &self.assists[assist_id];
821 if assist.decorations.is_some() {
822 self.focus_assist(*assist_id, cx);
823 return;
824 }
825 }
826
827 assist.editor.update(cx, |editor, cx| editor.focus(cx)).ok();
828 }
829
830 fn focus_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) {
831 let Some(assist) = self.assists.get(&assist_id) else {
832 return;
833 };
834
835 if let Some(decorations) = assist.decorations.as_ref() {
836 decorations.prompt_editor.update(cx, |prompt_editor, cx| {
837 prompt_editor.editor.update(cx, |editor, cx| {
838 editor.focus(cx);
839 editor.select_all(&SelectAll, cx);
840 })
841 });
842 }
843
844 self.scroll_to_assist(assist_id, cx);
845 }
846
847 pub fn scroll_to_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) {
848 let Some(assist) = self.assists.get(&assist_id) else {
849 return;
850 };
851 let Some(editor) = assist.editor.upgrade() else {
852 return;
853 };
854
855 let position = assist.range.start;
856 editor.update(cx, |editor, cx| {
857 editor.change_selections(None, cx, |selections| {
858 selections.select_anchor_ranges([position..position])
859 });
860
861 let mut scroll_target_top;
862 let mut scroll_target_bottom;
863 if let Some(decorations) = assist.decorations.as_ref() {
864 scroll_target_top = editor
865 .row_for_block(decorations.prompt_block_id, cx)
866 .unwrap()
867 .0 as f32;
868 scroll_target_bottom = editor
869 .row_for_block(decorations.end_block_id, cx)
870 .unwrap()
871 .0 as f32;
872 } else {
873 let snapshot = editor.snapshot(cx);
874 let start_row = assist
875 .range
876 .start
877 .to_display_point(&snapshot.display_snapshot)
878 .row();
879 scroll_target_top = start_row.0 as f32;
880 scroll_target_bottom = scroll_target_top + 1.;
881 }
882 scroll_target_top -= editor.vertical_scroll_margin() as f32;
883 scroll_target_bottom += editor.vertical_scroll_margin() as f32;
884
885 let height_in_lines = editor.visible_line_count().unwrap_or(0.);
886 let scroll_top = editor.scroll_position(cx).y;
887 let scroll_bottom = scroll_top + height_in_lines;
888
889 if scroll_target_top < scroll_top {
890 editor.set_scroll_position(point(0., scroll_target_top), cx);
891 } else if scroll_target_bottom > scroll_bottom {
892 if (scroll_target_bottom - scroll_target_top) <= height_in_lines {
893 editor
894 .set_scroll_position(point(0., scroll_target_bottom - height_in_lines), cx);
895 } else {
896 editor.set_scroll_position(point(0., scroll_target_top), cx);
897 }
898 }
899 });
900 }
901
902 fn unlink_assist_group(
903 &mut self,
904 assist_group_id: InlineAssistGroupId,
905 cx: &mut WindowContext,
906 ) -> Vec<InlineAssistId> {
907 let assist_group = self.assist_groups.get_mut(&assist_group_id).unwrap();
908 assist_group.linked = false;
909 for assist_id in &assist_group.assist_ids {
910 let assist = self.assists.get_mut(assist_id).unwrap();
911 if let Some(editor_decorations) = assist.decorations.as_ref() {
912 editor_decorations
913 .prompt_editor
914 .update(cx, |prompt_editor, cx| prompt_editor.unlink(cx));
915 }
916 }
917 assist_group.assist_ids.clone()
918 }
919
920 pub fn start_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) {
921 let assist = if let Some(assist) = self.assists.get_mut(&assist_id) {
922 assist
923 } else {
924 return;
925 };
926
927 let assist_group_id = assist.group_id;
928 if self.assist_groups[&assist_group_id].linked {
929 for assist_id in self.unlink_assist_group(assist_group_id, cx) {
930 self.start_assist(assist_id, cx);
931 }
932 return;
933 }
934
935 let Some(user_prompt) = assist.user_prompt(cx) else {
936 return;
937 };
938
939 self.prompt_history.retain(|prompt| *prompt != user_prompt);
940 self.prompt_history.push_back(user_prompt.clone());
941 if self.prompt_history.len() > PROMPT_HISTORY_MAX_LEN {
942 self.prompt_history.pop_front();
943 }
944
945 let assistant_panel_context = assist.assistant_panel_context(cx);
946
947 assist
948 .codegen
949 .update(cx, |codegen, cx| {
950 codegen.start(
951 assist.range.clone(),
952 user_prompt,
953 assistant_panel_context,
954 cx,
955 )
956 })
957 .log_err();
958
959 if let Some((tx, _)) = self.assist_observations.get(&assist_id) {
960 tx.send(AssistStatus::Started).ok();
961 }
962 }
963
964 pub fn stop_assist(&mut self, assist_id: InlineAssistId, cx: &mut WindowContext) {
965 let assist = if let Some(assist) = self.assists.get_mut(&assist_id) {
966 assist
967 } else {
968 return;
969 };
970
971 assist.codegen.update(cx, |codegen, cx| codegen.stop(cx));
972
973 if let Some((tx, _)) = self.assist_observations.get(&assist_id) {
974 tx.send(AssistStatus::Stopped).ok();
975 }
976 }
977
978 pub fn assist_status(&self, assist_id: InlineAssistId, cx: &AppContext) -> InlineAssistStatus {
979 if let Some(assist) = self.assists.get(&assist_id) {
980 match &assist.codegen.read(cx).status {
981 CodegenStatus::Idle => InlineAssistStatus::Idle,
982 CodegenStatus::Pending => InlineAssistStatus::Pending,
983 CodegenStatus::Done => InlineAssistStatus::Done,
984 CodegenStatus::Error(_) => InlineAssistStatus::Error,
985 }
986 } else if self.confirmed_assists.contains_key(&assist_id) {
987 InlineAssistStatus::Confirmed
988 } else {
989 InlineAssistStatus::Canceled
990 }
991 }
992
993 fn update_editor_highlights(&self, editor: &View<Editor>, cx: &mut WindowContext) {
994 let mut gutter_pending_ranges = Vec::new();
995 let mut gutter_transformed_ranges = Vec::new();
996 let mut foreground_ranges = Vec::new();
997 let mut inserted_row_ranges = Vec::new();
998 let empty_assist_ids = Vec::new();
999 let assist_ids = self
1000 .assists_by_editor
1001 .get(&editor.downgrade())
1002 .map_or(&empty_assist_ids, |editor_assists| {
1003 &editor_assists.assist_ids
1004 });
1005
1006 for assist_id in assist_ids {
1007 if let Some(assist) = self.assists.get(assist_id) {
1008 let codegen = assist.codegen.read(cx);
1009 let buffer = codegen.buffer.read(cx).read(cx);
1010 foreground_ranges.extend(codegen.last_equal_ranges().iter().cloned());
1011
1012 let pending_range =
1013 codegen.edit_position.unwrap_or(assist.range.start)..assist.range.end;
1014 if pending_range.end.to_offset(&buffer) > pending_range.start.to_offset(&buffer) {
1015 gutter_pending_ranges.push(pending_range);
1016 }
1017
1018 if let Some(edit_position) = codegen.edit_position {
1019 let edited_range = assist.range.start..edit_position;
1020 if edited_range.end.to_offset(&buffer) > edited_range.start.to_offset(&buffer) {
1021 gutter_transformed_ranges.push(edited_range);
1022 }
1023 }
1024
1025 if assist.decorations.is_some() {
1026 inserted_row_ranges.extend(codegen.diff.inserted_row_ranges.iter().cloned());
1027 }
1028 }
1029 }
1030
1031 let snapshot = editor.read(cx).buffer().read(cx).snapshot(cx);
1032 merge_ranges(&mut foreground_ranges, &snapshot);
1033 merge_ranges(&mut gutter_pending_ranges, &snapshot);
1034 merge_ranges(&mut gutter_transformed_ranges, &snapshot);
1035 editor.update(cx, |editor, cx| {
1036 enum GutterPendingRange {}
1037 if gutter_pending_ranges.is_empty() {
1038 editor.clear_gutter_highlights::<GutterPendingRange>(cx);
1039 } else {
1040 editor.highlight_gutter::<GutterPendingRange>(
1041 &gutter_pending_ranges,
1042 |cx| cx.theme().status().info_background,
1043 cx,
1044 )
1045 }
1046
1047 enum GutterTransformedRange {}
1048 if gutter_transformed_ranges.is_empty() {
1049 editor.clear_gutter_highlights::<GutterTransformedRange>(cx);
1050 } else {
1051 editor.highlight_gutter::<GutterTransformedRange>(
1052 &gutter_transformed_ranges,
1053 |cx| cx.theme().status().info,
1054 cx,
1055 )
1056 }
1057
1058 if foreground_ranges.is_empty() {
1059 editor.clear_highlights::<InlineAssist>(cx);
1060 } else {
1061 editor.highlight_text::<InlineAssist>(
1062 foreground_ranges,
1063 HighlightStyle {
1064 fade_out: Some(0.6),
1065 ..Default::default()
1066 },
1067 cx,
1068 );
1069 }
1070
1071 editor.clear_row_highlights::<InlineAssist>();
1072 for row_range in inserted_row_ranges {
1073 editor.highlight_rows::<InlineAssist>(
1074 row_range,
1075 Some(cx.theme().status().info_background),
1076 false,
1077 cx,
1078 );
1079 }
1080 });
1081 }
1082
1083 fn update_editor_blocks(
1084 &mut self,
1085 editor: &View<Editor>,
1086 assist_id: InlineAssistId,
1087 cx: &mut WindowContext,
1088 ) {
1089 let Some(assist) = self.assists.get_mut(&assist_id) else {
1090 return;
1091 };
1092 let Some(decorations) = assist.decorations.as_mut() else {
1093 return;
1094 };
1095
1096 let codegen = assist.codegen.read(cx);
1097 let old_snapshot = codegen.snapshot.clone();
1098 let old_buffer = codegen.old_buffer.clone();
1099 let deleted_row_ranges = codegen.diff.deleted_row_ranges.clone();
1100
1101 editor.update(cx, |editor, cx| {
1102 let old_blocks = mem::take(&mut decorations.removed_line_block_ids);
1103 editor.remove_blocks(old_blocks, None, cx);
1104
1105 let mut new_blocks = Vec::new();
1106 for (new_row, old_row_range) in deleted_row_ranges {
1107 let (_, buffer_start) = old_snapshot
1108 .point_to_buffer_offset(Point::new(*old_row_range.start(), 0))
1109 .unwrap();
1110 let (_, buffer_end) = old_snapshot
1111 .point_to_buffer_offset(Point::new(
1112 *old_row_range.end(),
1113 old_snapshot.line_len(MultiBufferRow(*old_row_range.end())),
1114 ))
1115 .unwrap();
1116
1117 let deleted_lines_editor = cx.new_view(|cx| {
1118 let multi_buffer = cx.new_model(|_| {
1119 MultiBuffer::without_headers(0, language::Capability::ReadOnly)
1120 });
1121 multi_buffer.update(cx, |multi_buffer, cx| {
1122 multi_buffer.push_excerpts(
1123 old_buffer.clone(),
1124 Some(ExcerptRange {
1125 context: buffer_start..buffer_end,
1126 primary: None,
1127 }),
1128 cx,
1129 );
1130 });
1131
1132 enum DeletedLines {}
1133 let mut editor = Editor::for_multibuffer(multi_buffer, None, true, cx);
1134 editor.set_soft_wrap_mode(language::language_settings::SoftWrap::None, cx);
1135 editor.set_show_wrap_guides(false, cx);
1136 editor.set_show_gutter(false, cx);
1137 editor.scroll_manager.set_forbid_vertical_scroll(true);
1138 editor.set_read_only(true);
1139 editor.set_show_inline_completions(Some(false), cx);
1140 editor.highlight_rows::<DeletedLines>(
1141 Anchor::min()..=Anchor::max(),
1142 Some(cx.theme().status().deleted_background),
1143 false,
1144 cx,
1145 );
1146 editor
1147 });
1148
1149 let height =
1150 deleted_lines_editor.update(cx, |editor, cx| editor.max_point(cx).row().0 + 1);
1151 new_blocks.push(BlockProperties {
1152 position: new_row,
1153 height,
1154 style: BlockStyle::Flex,
1155 render: Box::new(move |cx| {
1156 div()
1157 .bg(cx.theme().status().deleted_background)
1158 .size_full()
1159 .h(height as f32 * cx.line_height())
1160 .pl(cx.gutter_dimensions.full_width())
1161 .child(deleted_lines_editor.clone())
1162 .into_any_element()
1163 }),
1164 disposition: BlockDisposition::Above,
1165 priority: 0,
1166 });
1167 }
1168
1169 decorations.removed_line_block_ids = editor
1170 .insert_blocks(new_blocks, None, cx)
1171 .into_iter()
1172 .collect();
1173 })
1174 }
1175
1176 pub fn observe_assist(
1177 &mut self,
1178 assist_id: InlineAssistId,
1179 ) -> async_watch::Receiver<AssistStatus> {
1180 if let Some((_, rx)) = self.assist_observations.get(&assist_id) {
1181 rx.clone()
1182 } else {
1183 let (tx, rx) = async_watch::channel(AssistStatus::Idle);
1184 self.assist_observations.insert(assist_id, (tx, rx.clone()));
1185 rx
1186 }
1187 }
1188}
1189
1190pub enum InlineAssistStatus {
1191 Idle,
1192 Pending,
1193 Done,
1194 Error,
1195 Confirmed,
1196 Canceled,
1197}
1198
1199impl InlineAssistStatus {
1200 pub(crate) fn is_pending(&self) -> bool {
1201 matches!(self, Self::Pending)
1202 }
1203
1204 pub(crate) fn is_confirmed(&self) -> bool {
1205 matches!(self, Self::Confirmed)
1206 }
1207
1208 pub(crate) fn is_done(&self) -> bool {
1209 matches!(self, Self::Done)
1210 }
1211}
1212
1213struct EditorInlineAssists {
1214 assist_ids: Vec<InlineAssistId>,
1215 scroll_lock: Option<InlineAssistScrollLock>,
1216 highlight_updates: async_watch::Sender<()>,
1217 _update_highlights: Task<Result<()>>,
1218 _subscriptions: Vec<gpui::Subscription>,
1219}
1220
1221struct InlineAssistScrollLock {
1222 assist_id: InlineAssistId,
1223 distance_from_top: f32,
1224}
1225
1226impl EditorInlineAssists {
1227 #[allow(clippy::too_many_arguments)]
1228 fn new(editor: &View<Editor>, cx: &mut WindowContext) -> Self {
1229 let (highlight_updates_tx, mut highlight_updates_rx) = async_watch::channel(());
1230 Self {
1231 assist_ids: Vec::new(),
1232 scroll_lock: None,
1233 highlight_updates: highlight_updates_tx,
1234 _update_highlights: cx.spawn(|mut cx| {
1235 let editor = editor.downgrade();
1236 async move {
1237 while let Ok(()) = highlight_updates_rx.changed().await {
1238 let editor = editor.upgrade().context("editor was dropped")?;
1239 cx.update_global(|assistant: &mut InlineAssistant, cx| {
1240 assistant.update_editor_highlights(&editor, cx);
1241 })?;
1242 }
1243 Ok(())
1244 }
1245 }),
1246 _subscriptions: vec![
1247 cx.observe_release(editor, {
1248 let editor = editor.downgrade();
1249 |_, cx| {
1250 InlineAssistant::update_global(cx, |this, cx| {
1251 this.handle_editor_release(editor, cx);
1252 })
1253 }
1254 }),
1255 cx.observe(editor, move |editor, cx| {
1256 InlineAssistant::update_global(cx, |this, cx| {
1257 this.handle_editor_change(editor, cx)
1258 })
1259 }),
1260 cx.subscribe(editor, move |editor, event, cx| {
1261 InlineAssistant::update_global(cx, |this, cx| {
1262 this.handle_editor_event(editor, event, cx)
1263 })
1264 }),
1265 editor.update(cx, |editor, cx| {
1266 let editor_handle = cx.view().downgrade();
1267 editor.register_action(
1268 move |_: &editor::actions::Newline, cx: &mut WindowContext| {
1269 InlineAssistant::update_global(cx, |this, cx| {
1270 if let Some(editor) = editor_handle.upgrade() {
1271 this.handle_editor_newline(editor, cx)
1272 }
1273 })
1274 },
1275 )
1276 }),
1277 editor.update(cx, |editor, cx| {
1278 let editor_handle = cx.view().downgrade();
1279 editor.register_action(
1280 move |_: &editor::actions::Cancel, cx: &mut WindowContext| {
1281 InlineAssistant::update_global(cx, |this, cx| {
1282 if let Some(editor) = editor_handle.upgrade() {
1283 this.handle_editor_cancel(editor, cx)
1284 }
1285 })
1286 },
1287 )
1288 }),
1289 ],
1290 }
1291 }
1292}
1293
1294struct InlineAssistGroup {
1295 assist_ids: Vec<InlineAssistId>,
1296 linked: bool,
1297 active_assist_id: Option<InlineAssistId>,
1298}
1299
1300impl InlineAssistGroup {
1301 fn new() -> Self {
1302 Self {
1303 assist_ids: Vec::new(),
1304 linked: true,
1305 active_assist_id: None,
1306 }
1307 }
1308}
1309
1310fn build_assist_editor_renderer(editor: &View<PromptEditor>) -> RenderBlock {
1311 let editor = editor.clone();
1312 Box::new(move |cx: &mut BlockContext| {
1313 *editor.read(cx).gutter_dimensions.lock() = *cx.gutter_dimensions;
1314 editor.clone().into_any_element()
1315 })
1316}
1317
1318#[derive(Copy, Clone, Default, Debug, PartialEq, Eq, Hash)]
1319pub struct InlineAssistId(usize);
1320
1321impl InlineAssistId {
1322 fn post_inc(&mut self) -> InlineAssistId {
1323 let id = *self;
1324 self.0 += 1;
1325 id
1326 }
1327}
1328
1329#[derive(Copy, Clone, Default, Debug, PartialEq, Eq, Hash)]
1330struct InlineAssistGroupId(usize);
1331
1332impl InlineAssistGroupId {
1333 fn post_inc(&mut self) -> InlineAssistGroupId {
1334 let id = *self;
1335 self.0 += 1;
1336 id
1337 }
1338}
1339
1340enum PromptEditorEvent {
1341 StartRequested,
1342 StopRequested,
1343 ConfirmRequested,
1344 CancelRequested,
1345 DismissRequested,
1346}
1347
1348struct PromptEditor {
1349 id: InlineAssistId,
1350 fs: Arc<dyn Fs>,
1351 editor: View<Editor>,
1352 edited_since_done: bool,
1353 gutter_dimensions: Arc<Mutex<GutterDimensions>>,
1354 prompt_history: VecDeque<String>,
1355 prompt_history_ix: Option<usize>,
1356 pending_prompt: String,
1357 codegen: Model<Codegen>,
1358 _codegen_subscription: Subscription,
1359 editor_subscriptions: Vec<Subscription>,
1360 pending_token_count: Task<Result<()>>,
1361 token_counts: Option<TokenCounts>,
1362 _token_count_subscriptions: Vec<Subscription>,
1363 workspace: Option<WeakView<Workspace>>,
1364 show_rate_limit_notice: bool,
1365}
1366
1367#[derive(Copy, Clone)]
1368pub struct TokenCounts {
1369 total: usize,
1370 assistant_panel: usize,
1371}
1372
1373impl EventEmitter<PromptEditorEvent> for PromptEditor {}
1374
1375impl Render for PromptEditor {
1376 fn render(&mut self, cx: &mut ViewContext<Self>) -> impl IntoElement {
1377 let gutter_dimensions = *self.gutter_dimensions.lock();
1378 let status = &self.codegen.read(cx).status;
1379 let buttons = match status {
1380 CodegenStatus::Idle => {
1381 vec![
1382 IconButton::new("cancel", IconName::Close)
1383 .icon_color(Color::Muted)
1384 .shape(IconButtonShape::Square)
1385 .tooltip(|cx| Tooltip::for_action("Cancel Assist", &menu::Cancel, cx))
1386 .on_click(
1387 cx.listener(|_, _, cx| cx.emit(PromptEditorEvent::CancelRequested)),
1388 ),
1389 IconButton::new("start", IconName::SparkleAlt)
1390 .icon_color(Color::Muted)
1391 .shape(IconButtonShape::Square)
1392 .tooltip(|cx| Tooltip::for_action("Transform", &menu::Confirm, cx))
1393 .on_click(
1394 cx.listener(|_, _, cx| cx.emit(PromptEditorEvent::StartRequested)),
1395 ),
1396 ]
1397 }
1398 CodegenStatus::Pending => {
1399 vec![
1400 IconButton::new("cancel", IconName::Close)
1401 .icon_color(Color::Muted)
1402 .shape(IconButtonShape::Square)
1403 .tooltip(|cx| Tooltip::text("Cancel Assist", cx))
1404 .on_click(
1405 cx.listener(|_, _, cx| cx.emit(PromptEditorEvent::CancelRequested)),
1406 ),
1407 IconButton::new("stop", IconName::Stop)
1408 .icon_color(Color::Error)
1409 .shape(IconButtonShape::Square)
1410 .tooltip(|cx| {
1411 Tooltip::with_meta(
1412 "Interrupt Transformation",
1413 Some(&menu::Cancel),
1414 "Changes won't be discarded",
1415 cx,
1416 )
1417 })
1418 .on_click(
1419 cx.listener(|_, _, cx| cx.emit(PromptEditorEvent::StopRequested)),
1420 ),
1421 ]
1422 }
1423 CodegenStatus::Error(_) | CodegenStatus::Done => {
1424 vec![
1425 IconButton::new("cancel", IconName::Close)
1426 .icon_color(Color::Muted)
1427 .shape(IconButtonShape::Square)
1428 .tooltip(|cx| Tooltip::for_action("Cancel Assist", &menu::Cancel, cx))
1429 .on_click(
1430 cx.listener(|_, _, cx| cx.emit(PromptEditorEvent::CancelRequested)),
1431 ),
1432 if self.edited_since_done || matches!(status, CodegenStatus::Error(_)) {
1433 IconButton::new("restart", IconName::RotateCw)
1434 .icon_color(Color::Info)
1435 .shape(IconButtonShape::Square)
1436 .tooltip(|cx| {
1437 Tooltip::with_meta(
1438 "Restart Transformation",
1439 Some(&menu::Confirm),
1440 "Changes will be discarded",
1441 cx,
1442 )
1443 })
1444 .on_click(cx.listener(|_, _, cx| {
1445 cx.emit(PromptEditorEvent::StartRequested);
1446 }))
1447 } else {
1448 IconButton::new("confirm", IconName::Check)
1449 .icon_color(Color::Info)
1450 .shape(IconButtonShape::Square)
1451 .tooltip(|cx| Tooltip::for_action("Confirm Assist", &menu::Confirm, cx))
1452 .on_click(cx.listener(|_, _, cx| {
1453 cx.emit(PromptEditorEvent::ConfirmRequested);
1454 }))
1455 },
1456 ]
1457 }
1458 };
1459
1460 h_flex()
1461 .bg(cx.theme().colors().editor_background)
1462 .border_y_1()
1463 .border_color(cx.theme().status().info_border)
1464 .size_full()
1465 .py(cx.line_height() / 2.)
1466 .on_action(cx.listener(Self::confirm))
1467 .on_action(cx.listener(Self::cancel))
1468 .on_action(cx.listener(Self::move_up))
1469 .on_action(cx.listener(Self::move_down))
1470 .child(
1471 h_flex()
1472 .w(gutter_dimensions.full_width() + (gutter_dimensions.margin / 2.0))
1473 .justify_center()
1474 .gap_2()
1475 .child(
1476 ModelSelector::new(
1477 self.fs.clone(),
1478 IconButton::new("context", IconName::SlidersAlt)
1479 .shape(IconButtonShape::Square)
1480 .icon_size(IconSize::Small)
1481 .icon_color(Color::Muted)
1482 .tooltip(move |cx| {
1483 Tooltip::with_meta(
1484 format!(
1485 "Using {}",
1486 LanguageModelRegistry::read_global(cx)
1487 .active_model()
1488 .map(|model| model.name().0)
1489 .unwrap_or_else(|| "No model selected".into()),
1490 ),
1491 None,
1492 "Change Model",
1493 cx,
1494 )
1495 }),
1496 )
1497 .with_info_text(
1498 "Inline edits use context\n\
1499 from the currently selected\n\
1500 assistant panel tab.",
1501 ),
1502 )
1503 .map(|el| {
1504 let CodegenStatus::Error(error) = &self.codegen.read(cx).status else {
1505 return el;
1506 };
1507
1508 let error_message = SharedString::from(error.to_string());
1509 if error.error_code() == proto::ErrorCode::RateLimitExceeded
1510 && cx.has_flag::<ZedPro>()
1511 {
1512 el.child(
1513 v_flex()
1514 .child(
1515 IconButton::new("rate-limit-error", IconName::XCircle)
1516 .selected(self.show_rate_limit_notice)
1517 .shape(IconButtonShape::Square)
1518 .icon_size(IconSize::Small)
1519 .on_click(cx.listener(Self::toggle_rate_limit_notice)),
1520 )
1521 .children(self.show_rate_limit_notice.then(|| {
1522 deferred(
1523 anchored()
1524 .position_mode(gpui::AnchoredPositionMode::Local)
1525 .position(point(px(0.), px(24.)))
1526 .anchor(gpui::AnchorCorner::TopLeft)
1527 .child(self.render_rate_limit_notice(cx)),
1528 )
1529 })),
1530 )
1531 } else {
1532 el.child(
1533 div()
1534 .id("error")
1535 .tooltip(move |cx| Tooltip::text(error_message.clone(), cx))
1536 .child(
1537 Icon::new(IconName::XCircle)
1538 .size(IconSize::Small)
1539 .color(Color::Error),
1540 ),
1541 )
1542 }
1543 }),
1544 )
1545 .child(div().flex_1().child(self.render_prompt_editor(cx)))
1546 .child(
1547 h_flex()
1548 .gap_2()
1549 .pr_6()
1550 .children(self.render_token_count(cx))
1551 .children(buttons),
1552 )
1553 }
1554}
1555
1556impl FocusableView for PromptEditor {
1557 fn focus_handle(&self, cx: &AppContext) -> FocusHandle {
1558 self.editor.focus_handle(cx)
1559 }
1560}
1561
1562impl PromptEditor {
1563 const MAX_LINES: u8 = 8;
1564
1565 #[allow(clippy::too_many_arguments)]
1566 fn new(
1567 id: InlineAssistId,
1568 gutter_dimensions: Arc<Mutex<GutterDimensions>>,
1569 prompt_history: VecDeque<String>,
1570 prompt_buffer: Model<MultiBuffer>,
1571 codegen: Model<Codegen>,
1572 parent_editor: &View<Editor>,
1573 assistant_panel: Option<&View<AssistantPanel>>,
1574 workspace: Option<WeakView<Workspace>>,
1575 fs: Arc<dyn Fs>,
1576 cx: &mut ViewContext<Self>,
1577 ) -> Self {
1578 let prompt_editor = cx.new_view(|cx| {
1579 let mut editor = Editor::new(
1580 EditorMode::AutoHeight {
1581 max_lines: Self::MAX_LINES as usize,
1582 },
1583 prompt_buffer,
1584 None,
1585 false,
1586 cx,
1587 );
1588 editor.set_soft_wrap_mode(language::language_settings::SoftWrap::EditorWidth, cx);
1589 // Since the prompt editors for all inline assistants are linked,
1590 // always show the cursor (even when it isn't focused) because
1591 // typing in one will make what you typed appear in all of them.
1592 editor.set_show_cursor_when_unfocused(true, cx);
1593 editor.set_placeholder_text("Add a prompt…", cx);
1594 editor
1595 });
1596
1597 let mut token_count_subscriptions = Vec::new();
1598 token_count_subscriptions
1599 .push(cx.subscribe(parent_editor, Self::handle_parent_editor_event));
1600 if let Some(assistant_panel) = assistant_panel {
1601 token_count_subscriptions
1602 .push(cx.subscribe(assistant_panel, Self::handle_assistant_panel_event));
1603 }
1604
1605 let mut this = Self {
1606 id,
1607 editor: prompt_editor,
1608 edited_since_done: false,
1609 gutter_dimensions,
1610 prompt_history,
1611 prompt_history_ix: None,
1612 pending_prompt: String::new(),
1613 _codegen_subscription: cx.observe(&codegen, Self::handle_codegen_changed),
1614 editor_subscriptions: Vec::new(),
1615 codegen,
1616 fs,
1617 pending_token_count: Task::ready(Ok(())),
1618 token_counts: None,
1619 _token_count_subscriptions: token_count_subscriptions,
1620 workspace,
1621 show_rate_limit_notice: false,
1622 };
1623 this.count_tokens(cx);
1624 this.subscribe_to_editor(cx);
1625 this
1626 }
1627
1628 fn subscribe_to_editor(&mut self, cx: &mut ViewContext<Self>) {
1629 self.editor_subscriptions.clear();
1630 self.editor_subscriptions
1631 .push(cx.subscribe(&self.editor, Self::handle_prompt_editor_events));
1632 }
1633
1634 fn set_show_cursor_when_unfocused(
1635 &mut self,
1636 show_cursor_when_unfocused: bool,
1637 cx: &mut ViewContext<Self>,
1638 ) {
1639 self.editor.update(cx, |editor, cx| {
1640 editor.set_show_cursor_when_unfocused(show_cursor_when_unfocused, cx)
1641 });
1642 }
1643
1644 fn unlink(&mut self, cx: &mut ViewContext<Self>) {
1645 let prompt = self.prompt(cx);
1646 let focus = self.editor.focus_handle(cx).contains_focused(cx);
1647 self.editor = cx.new_view(|cx| {
1648 let mut editor = Editor::auto_height(Self::MAX_LINES as usize, cx);
1649 editor.set_soft_wrap_mode(language::language_settings::SoftWrap::EditorWidth, cx);
1650 editor.set_placeholder_text("Add a prompt…", cx);
1651 editor.set_text(prompt, cx);
1652 if focus {
1653 editor.focus(cx);
1654 }
1655 editor
1656 });
1657 self.subscribe_to_editor(cx);
1658 }
1659
1660 fn prompt(&self, cx: &AppContext) -> String {
1661 self.editor.read(cx).text(cx)
1662 }
1663
1664 fn toggle_rate_limit_notice(&mut self, _: &ClickEvent, cx: &mut ViewContext<Self>) {
1665 self.show_rate_limit_notice = !self.show_rate_limit_notice;
1666 if self.show_rate_limit_notice {
1667 cx.focus_view(&self.editor);
1668 }
1669 cx.notify();
1670 }
1671
1672 fn handle_parent_editor_event(
1673 &mut self,
1674 _: View<Editor>,
1675 event: &EditorEvent,
1676 cx: &mut ViewContext<Self>,
1677 ) {
1678 if let EditorEvent::BufferEdited { .. } = event {
1679 self.count_tokens(cx);
1680 }
1681 }
1682
1683 fn handle_assistant_panel_event(
1684 &mut self,
1685 _: View<AssistantPanel>,
1686 event: &AssistantPanelEvent,
1687 cx: &mut ViewContext<Self>,
1688 ) {
1689 let AssistantPanelEvent::ContextEdited { .. } = event;
1690 self.count_tokens(cx);
1691 }
1692
1693 fn count_tokens(&mut self, cx: &mut ViewContext<Self>) {
1694 let assist_id = self.id;
1695 self.pending_token_count = cx.spawn(|this, mut cx| async move {
1696 cx.background_executor().timer(Duration::from_secs(1)).await;
1697 let token_count = cx
1698 .update_global(|inline_assistant: &mut InlineAssistant, cx| {
1699 let assist = inline_assistant
1700 .assists
1701 .get(&assist_id)
1702 .context("assist not found")?;
1703 anyhow::Ok(assist.count_tokens(cx))
1704 })??
1705 .await?;
1706
1707 this.update(&mut cx, |this, cx| {
1708 this.token_counts = Some(token_count);
1709 cx.notify();
1710 })
1711 })
1712 }
1713
1714 fn handle_prompt_editor_events(
1715 &mut self,
1716 _: View<Editor>,
1717 event: &EditorEvent,
1718 cx: &mut ViewContext<Self>,
1719 ) {
1720 match event {
1721 EditorEvent::Edited { .. } => {
1722 let prompt = self.editor.read(cx).text(cx);
1723 if self
1724 .prompt_history_ix
1725 .map_or(true, |ix| self.prompt_history[ix] != prompt)
1726 {
1727 self.prompt_history_ix.take();
1728 self.pending_prompt = prompt;
1729 }
1730
1731 self.edited_since_done = true;
1732 cx.notify();
1733 }
1734 EditorEvent::BufferEdited => {
1735 self.count_tokens(cx);
1736 }
1737 EditorEvent::Blurred => {
1738 if self.show_rate_limit_notice {
1739 self.show_rate_limit_notice = false;
1740 cx.notify();
1741 }
1742 }
1743 _ => {}
1744 }
1745 }
1746
1747 fn handle_codegen_changed(&mut self, _: Model<Codegen>, cx: &mut ViewContext<Self>) {
1748 match &self.codegen.read(cx).status {
1749 CodegenStatus::Idle => {
1750 self.editor
1751 .update(cx, |editor, _| editor.set_read_only(false));
1752 }
1753 CodegenStatus::Pending => {
1754 self.editor
1755 .update(cx, |editor, _| editor.set_read_only(true));
1756 }
1757 CodegenStatus::Done => {
1758 self.edited_since_done = false;
1759 self.editor
1760 .update(cx, |editor, _| editor.set_read_only(false));
1761 }
1762 CodegenStatus::Error(error) => {
1763 if cx.has_flag::<ZedPro>()
1764 && error.error_code() == proto::ErrorCode::RateLimitExceeded
1765 && !dismissed_rate_limit_notice()
1766 {
1767 self.show_rate_limit_notice = true;
1768 cx.notify();
1769 }
1770
1771 self.edited_since_done = false;
1772 self.editor
1773 .update(cx, |editor, _| editor.set_read_only(false));
1774 }
1775 }
1776 }
1777
1778 fn cancel(&mut self, _: &editor::actions::Cancel, cx: &mut ViewContext<Self>) {
1779 match &self.codegen.read(cx).status {
1780 CodegenStatus::Idle | CodegenStatus::Done | CodegenStatus::Error(_) => {
1781 cx.emit(PromptEditorEvent::CancelRequested);
1782 }
1783 CodegenStatus::Pending => {
1784 cx.emit(PromptEditorEvent::StopRequested);
1785 }
1786 }
1787 }
1788
1789 fn confirm(&mut self, _: &menu::Confirm, cx: &mut ViewContext<Self>) {
1790 match &self.codegen.read(cx).status {
1791 CodegenStatus::Idle => {
1792 cx.emit(PromptEditorEvent::StartRequested);
1793 }
1794 CodegenStatus::Pending => {
1795 cx.emit(PromptEditorEvent::DismissRequested);
1796 }
1797 CodegenStatus::Done | CodegenStatus::Error(_) => {
1798 if self.edited_since_done {
1799 cx.emit(PromptEditorEvent::StartRequested);
1800 } else {
1801 cx.emit(PromptEditorEvent::ConfirmRequested);
1802 }
1803 }
1804 }
1805 }
1806
1807 fn move_up(&mut self, _: &MoveUp, cx: &mut ViewContext<Self>) {
1808 if let Some(ix) = self.prompt_history_ix {
1809 if ix > 0 {
1810 self.prompt_history_ix = Some(ix - 1);
1811 let prompt = self.prompt_history[ix - 1].as_str();
1812 self.editor.update(cx, |editor, cx| {
1813 editor.set_text(prompt, cx);
1814 editor.move_to_beginning(&Default::default(), cx);
1815 });
1816 }
1817 } else if !self.prompt_history.is_empty() {
1818 self.prompt_history_ix = Some(self.prompt_history.len() - 1);
1819 let prompt = self.prompt_history[self.prompt_history.len() - 1].as_str();
1820 self.editor.update(cx, |editor, cx| {
1821 editor.set_text(prompt, cx);
1822 editor.move_to_beginning(&Default::default(), cx);
1823 });
1824 }
1825 }
1826
1827 fn move_down(&mut self, _: &MoveDown, cx: &mut ViewContext<Self>) {
1828 if let Some(ix) = self.prompt_history_ix {
1829 if ix < self.prompt_history.len() - 1 {
1830 self.prompt_history_ix = Some(ix + 1);
1831 let prompt = self.prompt_history[ix + 1].as_str();
1832 self.editor.update(cx, |editor, cx| {
1833 editor.set_text(prompt, cx);
1834 editor.move_to_end(&Default::default(), cx)
1835 });
1836 } else {
1837 self.prompt_history_ix = None;
1838 let prompt = self.pending_prompt.as_str();
1839 self.editor.update(cx, |editor, cx| {
1840 editor.set_text(prompt, cx);
1841 editor.move_to_end(&Default::default(), cx)
1842 });
1843 }
1844 }
1845 }
1846
1847 fn render_token_count(&self, cx: &mut ViewContext<Self>) -> Option<impl IntoElement> {
1848 let model = LanguageModelRegistry::read_global(cx).active_model()?;
1849 let token_counts = self.token_counts?;
1850 let max_token_count = model.max_token_count();
1851
1852 let remaining_tokens = max_token_count as isize - token_counts.total as isize;
1853 let token_count_color = if remaining_tokens <= 0 {
1854 Color::Error
1855 } else if token_counts.total as f32 / max_token_count as f32 >= 0.8 {
1856 Color::Warning
1857 } else {
1858 Color::Muted
1859 };
1860
1861 let mut token_count = h_flex()
1862 .id("token_count")
1863 .gap_0p5()
1864 .child(
1865 Label::new(humanize_token_count(token_counts.total))
1866 .size(LabelSize::Small)
1867 .color(token_count_color),
1868 )
1869 .child(Label::new("/").size(LabelSize::Small).color(Color::Muted))
1870 .child(
1871 Label::new(humanize_token_count(max_token_count))
1872 .size(LabelSize::Small)
1873 .color(Color::Muted),
1874 );
1875 if let Some(workspace) = self.workspace.clone() {
1876 token_count = token_count
1877 .tooltip(move |cx| {
1878 Tooltip::with_meta(
1879 format!(
1880 "Tokens Used ({} from the Assistant Panel)",
1881 humanize_token_count(token_counts.assistant_panel)
1882 ),
1883 None,
1884 "Click to open the Assistant Panel",
1885 cx,
1886 )
1887 })
1888 .cursor_pointer()
1889 .on_mouse_down(gpui::MouseButton::Left, |_, cx| cx.stop_propagation())
1890 .on_click(move |_, cx| {
1891 cx.stop_propagation();
1892 workspace
1893 .update(cx, |workspace, cx| {
1894 workspace.focus_panel::<AssistantPanel>(cx)
1895 })
1896 .ok();
1897 });
1898 } else {
1899 token_count = token_count
1900 .cursor_default()
1901 .tooltip(|cx| Tooltip::text("Tokens used", cx));
1902 }
1903
1904 Some(token_count)
1905 }
1906
1907 fn render_prompt_editor(&self, cx: &mut ViewContext<Self>) -> impl IntoElement {
1908 let settings = ThemeSettings::get_global(cx);
1909 let text_style = TextStyle {
1910 color: if self.editor.read(cx).read_only(cx) {
1911 cx.theme().colors().text_disabled
1912 } else {
1913 cx.theme().colors().text
1914 },
1915 font_family: settings.ui_font.family.clone(),
1916 font_features: settings.ui_font.features.clone(),
1917 font_fallbacks: settings.ui_font.fallbacks.clone(),
1918 font_size: rems(0.875).into(),
1919 font_weight: settings.ui_font.weight,
1920 line_height: relative(1.3),
1921 ..Default::default()
1922 };
1923 EditorElement::new(
1924 &self.editor,
1925 EditorStyle {
1926 background: cx.theme().colors().editor_background,
1927 local_player: cx.theme().players().local(),
1928 text: text_style,
1929 ..Default::default()
1930 },
1931 )
1932 }
1933
1934 fn render_rate_limit_notice(&self, cx: &mut ViewContext<Self>) -> impl IntoElement {
1935 Popover::new().child(
1936 v_flex()
1937 .occlude()
1938 .p_2()
1939 .child(
1940 Label::new("Out of Tokens")
1941 .size(LabelSize::Small)
1942 .weight(FontWeight::BOLD),
1943 )
1944 .child(Label::new(
1945 "Try Zed Pro for higher limits, a wider range of models, and more.",
1946 ))
1947 .child(
1948 h_flex()
1949 .justify_between()
1950 .child(CheckboxWithLabel::new(
1951 "dont-show-again",
1952 Label::new("Don't show again"),
1953 if dismissed_rate_limit_notice() {
1954 ui::Selection::Selected
1955 } else {
1956 ui::Selection::Unselected
1957 },
1958 |selection, cx| {
1959 let is_dismissed = match selection {
1960 ui::Selection::Unselected => false,
1961 ui::Selection::Indeterminate => return,
1962 ui::Selection::Selected => true,
1963 };
1964
1965 set_rate_limit_notice_dismissed(is_dismissed, cx)
1966 },
1967 ))
1968 .child(
1969 h_flex()
1970 .gap_2()
1971 .child(
1972 Button::new("dismiss", "Dismiss")
1973 .style(ButtonStyle::Transparent)
1974 .on_click(cx.listener(Self::toggle_rate_limit_notice)),
1975 )
1976 .child(Button::new("more-info", "More Info").on_click(
1977 |_event, cx| {
1978 cx.dispatch_action(Box::new(
1979 zed_actions::OpenAccountSettings,
1980 ))
1981 },
1982 )),
1983 ),
1984 ),
1985 )
1986 }
1987}
1988
1989const DISMISSED_RATE_LIMIT_NOTICE_KEY: &str = "dismissed-rate-limit-notice";
1990
1991fn dismissed_rate_limit_notice() -> bool {
1992 db::kvp::KEY_VALUE_STORE
1993 .read_kvp(DISMISSED_RATE_LIMIT_NOTICE_KEY)
1994 .log_err()
1995 .map_or(false, |s| s.is_some())
1996}
1997
1998fn set_rate_limit_notice_dismissed(is_dismissed: bool, cx: &mut AppContext) {
1999 db::write_and_log(cx, move || async move {
2000 if is_dismissed {
2001 db::kvp::KEY_VALUE_STORE
2002 .write_kvp(DISMISSED_RATE_LIMIT_NOTICE_KEY.into(), "1".into())
2003 .await
2004 } else {
2005 db::kvp::KEY_VALUE_STORE
2006 .delete_kvp(DISMISSED_RATE_LIMIT_NOTICE_KEY.into())
2007 .await
2008 }
2009 })
2010}
2011
2012struct InlineAssist {
2013 group_id: InlineAssistGroupId,
2014 range: Range<Anchor>,
2015 editor: WeakView<Editor>,
2016 decorations: Option<InlineAssistDecorations>,
2017 codegen: Model<Codegen>,
2018 _subscriptions: Vec<Subscription>,
2019 workspace: Option<WeakView<Workspace>>,
2020 include_context: bool,
2021}
2022
2023impl InlineAssist {
2024 #[allow(clippy::too_many_arguments)]
2025 fn new(
2026 assist_id: InlineAssistId,
2027 group_id: InlineAssistGroupId,
2028 include_context: bool,
2029 editor: &View<Editor>,
2030 prompt_editor: &View<PromptEditor>,
2031 prompt_block_id: CustomBlockId,
2032 end_block_id: CustomBlockId,
2033 range: Range<Anchor>,
2034 codegen: Model<Codegen>,
2035 workspace: Option<WeakView<Workspace>>,
2036 cx: &mut WindowContext,
2037 ) -> Self {
2038 let prompt_editor_focus_handle = prompt_editor.focus_handle(cx);
2039 InlineAssist {
2040 group_id,
2041 include_context,
2042 editor: editor.downgrade(),
2043 decorations: Some(InlineAssistDecorations {
2044 prompt_block_id,
2045 prompt_editor: prompt_editor.clone(),
2046 removed_line_block_ids: HashSet::default(),
2047 end_block_id,
2048 }),
2049 range,
2050 codegen: codegen.clone(),
2051 workspace: workspace.clone(),
2052 _subscriptions: vec![
2053 cx.on_focus_in(&prompt_editor_focus_handle, move |cx| {
2054 InlineAssistant::update_global(cx, |this, cx| {
2055 this.handle_prompt_editor_focus_in(assist_id, cx)
2056 })
2057 }),
2058 cx.on_focus_out(&prompt_editor_focus_handle, move |_, cx| {
2059 InlineAssistant::update_global(cx, |this, cx| {
2060 this.handle_prompt_editor_focus_out(assist_id, cx)
2061 })
2062 }),
2063 cx.subscribe(prompt_editor, |prompt_editor, event, cx| {
2064 InlineAssistant::update_global(cx, |this, cx| {
2065 this.handle_prompt_editor_event(prompt_editor, event, cx)
2066 })
2067 }),
2068 cx.observe(&codegen, {
2069 let editor = editor.downgrade();
2070 move |_, cx| {
2071 if let Some(editor) = editor.upgrade() {
2072 InlineAssistant::update_global(cx, |this, cx| {
2073 if let Some(editor_assists) =
2074 this.assists_by_editor.get(&editor.downgrade())
2075 {
2076 editor_assists.highlight_updates.send(()).ok();
2077 }
2078
2079 this.update_editor_blocks(&editor, assist_id, cx);
2080 })
2081 }
2082 }
2083 }),
2084 cx.subscribe(&codegen, move |codegen, event, cx| {
2085 InlineAssistant::update_global(cx, |this, cx| match event {
2086 CodegenEvent::Undone => this.finish_assist(assist_id, false, cx),
2087 CodegenEvent::Finished => {
2088 let assist = if let Some(assist) = this.assists.get(&assist_id) {
2089 assist
2090 } else {
2091 return;
2092 };
2093
2094 if let CodegenStatus::Error(error) = &codegen.read(cx).status {
2095 if assist.decorations.is_none() {
2096 if let Some(workspace) = assist
2097 .workspace
2098 .as_ref()
2099 .and_then(|workspace| workspace.upgrade())
2100 {
2101 let error = format!("Inline assistant error: {}", error);
2102 workspace.update(cx, |workspace, cx| {
2103 struct InlineAssistantError;
2104
2105 let id =
2106 NotificationId::identified::<InlineAssistantError>(
2107 assist_id.0,
2108 );
2109
2110 workspace.show_toast(Toast::new(id, error), cx);
2111 })
2112 }
2113 }
2114 }
2115
2116 if assist.decorations.is_none() {
2117 this.finish_assist(assist_id, false, cx);
2118 } else if let Some(tx) = this.assist_observations.get(&assist_id) {
2119 tx.0.send(AssistStatus::Finished).ok();
2120 }
2121 }
2122 })
2123 }),
2124 ],
2125 }
2126 }
2127
2128 fn user_prompt(&self, cx: &AppContext) -> Option<String> {
2129 let decorations = self.decorations.as_ref()?;
2130 Some(decorations.prompt_editor.read(cx).prompt(cx))
2131 }
2132
2133 fn assistant_panel_context(&self, cx: &WindowContext) -> Option<LanguageModelRequest> {
2134 if self.include_context {
2135 let workspace = self.workspace.as_ref()?;
2136 let workspace = workspace.upgrade()?.read(cx);
2137 let assistant_panel = workspace.panel::<AssistantPanel>(cx)?;
2138 Some(
2139 assistant_panel
2140 .read(cx)
2141 .active_context(cx)?
2142 .read(cx)
2143 .to_completion_request(cx),
2144 )
2145 } else {
2146 None
2147 }
2148 }
2149
2150 pub fn count_tokens(&self, cx: &WindowContext) -> BoxFuture<'static, Result<TokenCounts>> {
2151 let Some(user_prompt) = self.user_prompt(cx) else {
2152 return future::ready(Err(anyhow!("no user prompt"))).boxed();
2153 };
2154 let assistant_panel_context = self.assistant_panel_context(cx);
2155 self.codegen.read(cx).count_tokens(
2156 self.range.clone(),
2157 user_prompt,
2158 assistant_panel_context,
2159 cx,
2160 )
2161 }
2162}
2163
2164struct InlineAssistDecorations {
2165 prompt_block_id: CustomBlockId,
2166 prompt_editor: View<PromptEditor>,
2167 removed_line_block_ids: HashSet<CustomBlockId>,
2168 end_block_id: CustomBlockId,
2169}
2170
2171#[derive(Debug)]
2172pub enum CodegenEvent {
2173 Finished,
2174 Undone,
2175}
2176
2177pub struct Codegen {
2178 buffer: Model<MultiBuffer>,
2179 old_buffer: Model<Buffer>,
2180 snapshot: MultiBufferSnapshot,
2181 edit_position: Option<Anchor>,
2182 last_equal_ranges: Vec<Range<Anchor>>,
2183 initial_transaction_id: Option<TransactionId>,
2184 transformation_transaction_id: Option<TransactionId>,
2185 status: CodegenStatus,
2186 generation: Task<()>,
2187 diff: Diff,
2188 telemetry: Option<Arc<Telemetry>>,
2189 _subscription: gpui::Subscription,
2190 builder: Arc<PromptBuilder>,
2191}
2192
2193enum CodegenStatus {
2194 Idle,
2195 Pending,
2196 Done,
2197 Error(anyhow::Error),
2198}
2199
2200#[derive(Default)]
2201struct Diff {
2202 deleted_row_ranges: Vec<(Anchor, RangeInclusive<u32>)>,
2203 inserted_row_ranges: Vec<RangeInclusive<Anchor>>,
2204}
2205
2206impl Diff {
2207 fn is_empty(&self) -> bool {
2208 self.deleted_row_ranges.is_empty() && self.inserted_row_ranges.is_empty()
2209 }
2210}
2211
2212impl EventEmitter<CodegenEvent> for Codegen {}
2213
2214impl Codegen {
2215 pub fn new(
2216 buffer: Model<MultiBuffer>,
2217 range: Range<Anchor>,
2218 initial_transaction_id: Option<TransactionId>,
2219 telemetry: Option<Arc<Telemetry>>,
2220 builder: Arc<PromptBuilder>,
2221 cx: &mut ModelContext<Self>,
2222 ) -> Self {
2223 let snapshot = buffer.read(cx).snapshot(cx);
2224
2225 let (old_buffer, _, _) = buffer
2226 .read(cx)
2227 .range_to_buffer_ranges(range.clone(), cx)
2228 .pop()
2229 .unwrap();
2230 let old_buffer = cx.new_model(|cx| {
2231 let old_buffer = old_buffer.read(cx);
2232 let text = old_buffer.as_rope().clone();
2233 let line_ending = old_buffer.line_ending();
2234 let language = old_buffer.language().cloned();
2235 let language_registry = old_buffer.language_registry();
2236
2237 let mut buffer = Buffer::local_normalized(text, line_ending, cx);
2238 buffer.set_language(language, cx);
2239 if let Some(language_registry) = language_registry {
2240 buffer.set_language_registry(language_registry)
2241 }
2242 buffer
2243 });
2244
2245 Self {
2246 buffer: buffer.clone(),
2247 old_buffer,
2248 edit_position: None,
2249 snapshot,
2250 last_equal_ranges: Default::default(),
2251 transformation_transaction_id: None,
2252 status: CodegenStatus::Idle,
2253 generation: Task::ready(()),
2254 diff: Diff::default(),
2255 telemetry,
2256 _subscription: cx.subscribe(&buffer, Self::handle_buffer_event),
2257 initial_transaction_id,
2258 builder,
2259 }
2260 }
2261
2262 fn handle_buffer_event(
2263 &mut self,
2264 _buffer: Model<MultiBuffer>,
2265 event: &multi_buffer::Event,
2266 cx: &mut ModelContext<Self>,
2267 ) {
2268 if let multi_buffer::Event::TransactionUndone { transaction_id } = event {
2269 if self.transformation_transaction_id == Some(*transaction_id) {
2270 self.transformation_transaction_id = None;
2271 self.generation = Task::ready(());
2272 cx.emit(CodegenEvent::Undone);
2273 }
2274 }
2275 }
2276
2277 pub fn last_equal_ranges(&self) -> &[Range<Anchor>] {
2278 &self.last_equal_ranges
2279 }
2280
2281 pub fn count_tokens(
2282 &self,
2283 edit_range: Range<Anchor>,
2284 user_prompt: String,
2285 assistant_panel_context: Option<LanguageModelRequest>,
2286 cx: &AppContext,
2287 ) -> BoxFuture<'static, Result<TokenCounts>> {
2288 if let Some(model) = LanguageModelRegistry::read_global(cx).active_model() {
2289 let request =
2290 self.build_request(user_prompt, assistant_panel_context.clone(), edit_range, cx);
2291 match request {
2292 Ok(request) => {
2293 let total_count = model.count_tokens(request.clone(), cx);
2294 let assistant_panel_count = assistant_panel_context
2295 .map(|context| model.count_tokens(context, cx))
2296 .unwrap_or_else(|| future::ready(Ok(0)).boxed());
2297
2298 async move {
2299 Ok(TokenCounts {
2300 total: total_count.await?,
2301 assistant_panel: assistant_panel_count.await?,
2302 })
2303 }
2304 .boxed()
2305 }
2306 Err(error) => futures::future::ready(Err(error)).boxed(),
2307 }
2308 } else {
2309 future::ready(Err(anyhow!("no active model"))).boxed()
2310 }
2311 }
2312
2313 pub fn start(
2314 &mut self,
2315 edit_range: Range<Anchor>,
2316 user_prompt: String,
2317 assistant_panel_context: Option<LanguageModelRequest>,
2318 cx: &mut ModelContext<Self>,
2319 ) -> Result<()> {
2320 let model = LanguageModelRegistry::read_global(cx)
2321 .active_model()
2322 .context("no active model")?;
2323
2324 if let Some(transformation_transaction_id) = self.transformation_transaction_id.take() {
2325 self.buffer.update(cx, |buffer, cx| {
2326 buffer.undo_transaction(transformation_transaction_id, cx);
2327 });
2328 }
2329
2330 self.edit_position = Some(edit_range.start.bias_right(&self.snapshot));
2331
2332 let telemetry_id = model.telemetry_id();
2333 let chunks: LocalBoxFuture<Result<BoxStream<Result<String>>>> = if user_prompt
2334 .trim()
2335 .to_lowercase()
2336 == "delete"
2337 {
2338 async { Ok(stream::empty().boxed()) }.boxed_local()
2339 } else {
2340 let request =
2341 self.build_request(user_prompt, assistant_panel_context, edit_range.clone(), cx)?;
2342
2343 let chunks =
2344 cx.spawn(|_, cx| async move { model.stream_completion(request, &cx).await });
2345 async move { Ok(chunks.await?.boxed()) }.boxed_local()
2346 };
2347 self.handle_stream(telemetry_id, edit_range, chunks, cx);
2348 Ok(())
2349 }
2350
2351 fn build_request(
2352 &self,
2353 user_prompt: String,
2354 assistant_panel_context: Option<LanguageModelRequest>,
2355 edit_range: Range<Anchor>,
2356 cx: &AppContext,
2357 ) -> Result<LanguageModelRequest> {
2358 let buffer = self.buffer.read(cx).snapshot(cx);
2359 let language = buffer.language_at(edit_range.start);
2360 let language_name = if let Some(language) = language.as_ref() {
2361 if Arc::ptr_eq(language, &language::PLAIN_TEXT) {
2362 None
2363 } else {
2364 Some(language.name())
2365 }
2366 } else {
2367 None
2368 };
2369
2370 // Higher Temperature increases the randomness of model outputs.
2371 // If Markdown or No Language is Known, increase the randomness for more creative output
2372 // If Code, decrease temperature to get more deterministic outputs
2373 let temperature = if let Some(language) = language_name.clone() {
2374 if language.as_ref() == "Markdown" {
2375 1.0
2376 } else {
2377 0.5
2378 }
2379 } else {
2380 1.0
2381 };
2382
2383 let language_name = language_name.as_deref();
2384 let start = buffer.point_to_buffer_offset(edit_range.start);
2385 let end = buffer.point_to_buffer_offset(edit_range.end);
2386 let (buffer, range) = if let Some((start, end)) = start.zip(end) {
2387 let (start_buffer, start_buffer_offset) = start;
2388 let (end_buffer, end_buffer_offset) = end;
2389 if start_buffer.remote_id() == end_buffer.remote_id() {
2390 (start_buffer.clone(), start_buffer_offset..end_buffer_offset)
2391 } else {
2392 return Err(anyhow::anyhow!("invalid transformation range"));
2393 }
2394 } else {
2395 return Err(anyhow::anyhow!("invalid transformation range"));
2396 };
2397
2398 let prompt = self
2399 .builder
2400 .generate_content_prompt(user_prompt, language_name, buffer, range)
2401 .map_err(|e| anyhow::anyhow!("Failed to generate content prompt: {}", e))?;
2402
2403 let mut messages = Vec::new();
2404 if let Some(context_request) = assistant_panel_context {
2405 messages = context_request.messages;
2406 }
2407
2408 messages.push(LanguageModelRequestMessage {
2409 role: Role::User,
2410 content: vec![prompt.into()],
2411 cache: false,
2412 });
2413
2414 Ok(LanguageModelRequest {
2415 messages,
2416 tools: Vec::new(),
2417 stop: vec!["|END|>".to_string()],
2418 temperature,
2419 })
2420 }
2421
2422 pub fn handle_stream(
2423 &mut self,
2424 model_telemetry_id: String,
2425 edit_range: Range<Anchor>,
2426 stream: impl 'static + Future<Output = Result<BoxStream<'static, Result<String>>>>,
2427 cx: &mut ModelContext<Self>,
2428 ) {
2429 let snapshot = self.snapshot.clone();
2430 let selected_text = snapshot
2431 .text_for_range(edit_range.start..edit_range.end)
2432 .collect::<Rope>();
2433
2434 let selection_start = edit_range.start.to_point(&snapshot);
2435
2436 // Start with the indentation of the first line in the selection
2437 let mut suggested_line_indent = snapshot
2438 .suggested_indents(selection_start.row..=selection_start.row, cx)
2439 .into_values()
2440 .next()
2441 .unwrap_or_else(|| snapshot.indent_size_for_line(MultiBufferRow(selection_start.row)));
2442
2443 // If the first line in the selection does not have indentation, check the following lines
2444 if suggested_line_indent.len == 0 && suggested_line_indent.kind == IndentKind::Space {
2445 for row in selection_start.row..=edit_range.end.to_point(&snapshot).row {
2446 let line_indent = snapshot.indent_size_for_line(MultiBufferRow(row));
2447 // Prefer tabs if a line in the selection uses tabs as indentation
2448 if line_indent.kind == IndentKind::Tab {
2449 suggested_line_indent.kind = IndentKind::Tab;
2450 break;
2451 }
2452 }
2453 }
2454
2455 let telemetry = self.telemetry.clone();
2456 self.diff = Diff::default();
2457 self.status = CodegenStatus::Pending;
2458 let mut edit_start = edit_range.start.to_offset(&snapshot);
2459 self.generation = cx.spawn(|codegen, mut cx| {
2460 async move {
2461 let chunks = stream.await;
2462 let generate = async {
2463 let (mut diff_tx, mut diff_rx) = mpsc::channel(1);
2464 let line_based_stream_diff: Task<anyhow::Result<()>> =
2465 cx.background_executor().spawn(async move {
2466 let mut response_latency = None;
2467 let request_start = Instant::now();
2468 let diff = async {
2469 let chunks = StripInvalidSpans::new(chunks?);
2470 futures::pin_mut!(chunks);
2471 let mut diff = StreamingDiff::new(selected_text.to_string());
2472 let mut line_diff = LineDiff::default();
2473
2474 let mut new_text = String::new();
2475 let mut base_indent = None;
2476 let mut line_indent = None;
2477 let mut first_line = true;
2478
2479 while let Some(chunk) = chunks.next().await {
2480 if response_latency.is_none() {
2481 response_latency = Some(request_start.elapsed());
2482 }
2483 let chunk = chunk?;
2484
2485 let mut lines = chunk.split('\n').peekable();
2486 while let Some(line) = lines.next() {
2487 new_text.push_str(line);
2488 if line_indent.is_none() {
2489 if let Some(non_whitespace_ch_ix) =
2490 new_text.find(|ch: char| !ch.is_whitespace())
2491 {
2492 line_indent = Some(non_whitespace_ch_ix);
2493 base_indent = base_indent.or(line_indent);
2494
2495 let line_indent = line_indent.unwrap();
2496 let base_indent = base_indent.unwrap();
2497 let indent_delta =
2498 line_indent as i32 - base_indent as i32;
2499 let mut corrected_indent_len = cmp::max(
2500 0,
2501 suggested_line_indent.len as i32 + indent_delta,
2502 )
2503 as usize;
2504 if first_line {
2505 corrected_indent_len = corrected_indent_len
2506 .saturating_sub(
2507 selection_start.column as usize,
2508 );
2509 }
2510
2511 let indent_char = suggested_line_indent.char();
2512 let mut indent_buffer = [0; 4];
2513 let indent_str =
2514 indent_char.encode_utf8(&mut indent_buffer);
2515 new_text.replace_range(
2516 ..line_indent,
2517 &indent_str.repeat(corrected_indent_len),
2518 );
2519 }
2520 }
2521
2522 if line_indent.is_some() {
2523 let char_ops = diff.push_new(&new_text);
2524 line_diff
2525 .push_char_operations(&char_ops, &selected_text);
2526 diff_tx
2527 .send((char_ops, line_diff.line_operations()))
2528 .await?;
2529 new_text.clear();
2530 }
2531
2532 if lines.peek().is_some() {
2533 let char_ops = diff.push_new("\n");
2534 line_diff
2535 .push_char_operations(&char_ops, &selected_text);
2536 diff_tx
2537 .send((char_ops, line_diff.line_operations()))
2538 .await?;
2539 if line_indent.is_none() {
2540 // Don't write out the leading indentation in empty lines on the next line
2541 // This is the case where the above if statement didn't clear the buffer
2542 new_text.clear();
2543 }
2544 line_indent = None;
2545 first_line = false;
2546 }
2547 }
2548 }
2549
2550 let mut char_ops = diff.push_new(&new_text);
2551 char_ops.extend(diff.finish());
2552 line_diff.push_char_operations(&char_ops, &selected_text);
2553 line_diff.finish(&selected_text);
2554 diff_tx
2555 .send((char_ops, line_diff.line_operations()))
2556 .await?;
2557
2558 anyhow::Ok(())
2559 };
2560
2561 let result = diff.await;
2562
2563 let error_message =
2564 result.as_ref().err().map(|error| error.to_string());
2565 if let Some(telemetry) = telemetry {
2566 telemetry.report_assistant_event(
2567 None,
2568 telemetry_events::AssistantKind::Inline,
2569 model_telemetry_id,
2570 response_latency,
2571 error_message,
2572 );
2573 }
2574
2575 result?;
2576 Ok(())
2577 });
2578
2579 while let Some((char_ops, line_diff)) = diff_rx.next().await {
2580 codegen.update(&mut cx, |codegen, cx| {
2581 codegen.last_equal_ranges.clear();
2582
2583 let transaction = codegen.buffer.update(cx, |buffer, cx| {
2584 // Avoid grouping assistant edits with user edits.
2585 buffer.finalize_last_transaction(cx);
2586
2587 buffer.start_transaction(cx);
2588 buffer.edit(
2589 char_ops
2590 .into_iter()
2591 .filter_map(|operation| match operation {
2592 CharOperation::Insert { text } => {
2593 let edit_start = snapshot.anchor_after(edit_start);
2594 Some((edit_start..edit_start, text))
2595 }
2596 CharOperation::Delete { bytes } => {
2597 let edit_end = edit_start + bytes;
2598 let edit_range = snapshot.anchor_after(edit_start)
2599 ..snapshot.anchor_before(edit_end);
2600 edit_start = edit_end;
2601 Some((edit_range, String::new()))
2602 }
2603 CharOperation::Keep { bytes } => {
2604 let edit_end = edit_start + bytes;
2605 let edit_range = snapshot.anchor_after(edit_start)
2606 ..snapshot.anchor_before(edit_end);
2607 edit_start = edit_end;
2608 codegen.last_equal_ranges.push(edit_range);
2609 None
2610 }
2611 }),
2612 None,
2613 cx,
2614 );
2615 codegen.edit_position = Some(snapshot.anchor_after(edit_start));
2616
2617 buffer.end_transaction(cx)
2618 });
2619
2620 if let Some(transaction) = transaction {
2621 if let Some(first_transaction) =
2622 codegen.transformation_transaction_id
2623 {
2624 // Group all assistant edits into the first transaction.
2625 codegen.buffer.update(cx, |buffer, cx| {
2626 buffer.merge_transactions(
2627 transaction,
2628 first_transaction,
2629 cx,
2630 )
2631 });
2632 } else {
2633 codegen.transformation_transaction_id = Some(transaction);
2634 codegen.buffer.update(cx, |buffer, cx| {
2635 buffer.finalize_last_transaction(cx)
2636 });
2637 }
2638 }
2639
2640 codegen.reapply_line_based_diff(edit_range.clone(), line_diff, cx);
2641
2642 cx.notify();
2643 })?;
2644 }
2645
2646 // Streaming stopped and we have the new text in the buffer, and a line-based diff applied for the whole new buffer.
2647 // That diff is not what a regular diff is and might look unexpected, ergo apply a regular diff.
2648 // It's fine to apply even if the rest of the line diffing fails, as no more hunks are coming through `diff_rx`.
2649 let batch_diff_task = codegen.update(&mut cx, |codegen, cx| {
2650 codegen.reapply_batch_diff(edit_range.clone(), cx)
2651 })?;
2652 let (line_based_stream_diff, ()) =
2653 join!(line_based_stream_diff, batch_diff_task);
2654 line_based_stream_diff?;
2655
2656 anyhow::Ok(())
2657 };
2658
2659 let result = generate.await;
2660 codegen
2661 .update(&mut cx, |this, cx| {
2662 this.last_equal_ranges.clear();
2663 if let Err(error) = result {
2664 this.status = CodegenStatus::Error(error);
2665 } else {
2666 this.status = CodegenStatus::Done;
2667 }
2668 cx.emit(CodegenEvent::Finished);
2669 cx.notify();
2670 })
2671 .ok();
2672 }
2673 });
2674 cx.notify();
2675 }
2676
2677 pub fn stop(&mut self, cx: &mut ModelContext<Self>) {
2678 self.last_equal_ranges.clear();
2679 if self.diff.is_empty() {
2680 self.status = CodegenStatus::Idle;
2681 } else {
2682 self.status = CodegenStatus::Done;
2683 }
2684 self.generation = Task::ready(());
2685 cx.emit(CodegenEvent::Finished);
2686 cx.notify();
2687 }
2688
2689 pub fn undo(&mut self, cx: &mut ModelContext<Self>) {
2690 self.buffer.update(cx, |buffer, cx| {
2691 if let Some(transaction_id) = self.transformation_transaction_id.take() {
2692 buffer.undo_transaction(transaction_id, cx);
2693 buffer.refresh_preview(cx);
2694 }
2695
2696 if let Some(transaction_id) = self.initial_transaction_id.take() {
2697 buffer.undo_transaction(transaction_id, cx);
2698 buffer.refresh_preview(cx);
2699 }
2700 });
2701 }
2702
2703 fn reapply_line_based_diff(
2704 &mut self,
2705 edit_range: Range<Anchor>,
2706 line_operations: Vec<LineOperation>,
2707 cx: &mut ModelContext<Self>,
2708 ) {
2709 let old_snapshot = self.snapshot.clone();
2710 let old_range = edit_range.to_point(&old_snapshot);
2711 let new_snapshot = self.buffer.read(cx).snapshot(cx);
2712 let new_range = edit_range.to_point(&new_snapshot);
2713
2714 let mut old_row = old_range.start.row;
2715 let mut new_row = new_range.start.row;
2716
2717 self.diff.deleted_row_ranges.clear();
2718 self.diff.inserted_row_ranges.clear();
2719 for operation in line_operations {
2720 match operation {
2721 LineOperation::Keep { lines } => {
2722 old_row += lines;
2723 new_row += lines;
2724 }
2725 LineOperation::Delete { lines } => {
2726 let old_end_row = old_row + lines - 1;
2727 let new_row = new_snapshot.anchor_before(Point::new(new_row, 0));
2728
2729 if let Some((_, last_deleted_row_range)) =
2730 self.diff.deleted_row_ranges.last_mut()
2731 {
2732 if *last_deleted_row_range.end() + 1 == old_row {
2733 *last_deleted_row_range = *last_deleted_row_range.start()..=old_end_row;
2734 } else {
2735 self.diff
2736 .deleted_row_ranges
2737 .push((new_row, old_row..=old_end_row));
2738 }
2739 } else {
2740 self.diff
2741 .deleted_row_ranges
2742 .push((new_row, old_row..=old_end_row));
2743 }
2744
2745 old_row += lines;
2746 }
2747 LineOperation::Insert { lines } => {
2748 let new_end_row = new_row + lines - 1;
2749 let start = new_snapshot.anchor_before(Point::new(new_row, 0));
2750 let end = new_snapshot.anchor_before(Point::new(
2751 new_end_row,
2752 new_snapshot.line_len(MultiBufferRow(new_end_row)),
2753 ));
2754 self.diff.inserted_row_ranges.push(start..=end);
2755 new_row += lines;
2756 }
2757 }
2758
2759 cx.notify();
2760 }
2761 }
2762
2763 fn reapply_batch_diff(
2764 &mut self,
2765 edit_range: Range<Anchor>,
2766 cx: &mut ModelContext<Self>,
2767 ) -> Task<()> {
2768 let old_snapshot = self.snapshot.clone();
2769 let old_range = edit_range.to_point(&old_snapshot);
2770 let new_snapshot = self.buffer.read(cx).snapshot(cx);
2771 let new_range = edit_range.to_point(&new_snapshot);
2772
2773 cx.spawn(|codegen, mut cx| async move {
2774 let (deleted_row_ranges, inserted_row_ranges) = cx
2775 .background_executor()
2776 .spawn(async move {
2777 let old_text = old_snapshot
2778 .text_for_range(
2779 Point::new(old_range.start.row, 0)
2780 ..Point::new(
2781 old_range.end.row,
2782 old_snapshot.line_len(MultiBufferRow(old_range.end.row)),
2783 ),
2784 )
2785 .collect::<String>();
2786 let new_text = new_snapshot
2787 .text_for_range(
2788 Point::new(new_range.start.row, 0)
2789 ..Point::new(
2790 new_range.end.row,
2791 new_snapshot.line_len(MultiBufferRow(new_range.end.row)),
2792 ),
2793 )
2794 .collect::<String>();
2795
2796 let mut old_row = old_range.start.row;
2797 let mut new_row = new_range.start.row;
2798 let batch_diff =
2799 similar::TextDiff::from_lines(old_text.as_str(), new_text.as_str());
2800
2801 let mut deleted_row_ranges: Vec<(Anchor, RangeInclusive<u32>)> = Vec::new();
2802 let mut inserted_row_ranges = Vec::new();
2803 for change in batch_diff.iter_all_changes() {
2804 let line_count = change.value().lines().count() as u32;
2805 match change.tag() {
2806 similar::ChangeTag::Equal => {
2807 old_row += line_count;
2808 new_row += line_count;
2809 }
2810 similar::ChangeTag::Delete => {
2811 let old_end_row = old_row + line_count - 1;
2812 let new_row = new_snapshot.anchor_before(Point::new(new_row, 0));
2813
2814 if let Some((_, last_deleted_row_range)) =
2815 deleted_row_ranges.last_mut()
2816 {
2817 if *last_deleted_row_range.end() + 1 == old_row {
2818 *last_deleted_row_range =
2819 *last_deleted_row_range.start()..=old_end_row;
2820 } else {
2821 deleted_row_ranges.push((new_row, old_row..=old_end_row));
2822 }
2823 } else {
2824 deleted_row_ranges.push((new_row, old_row..=old_end_row));
2825 }
2826
2827 old_row += line_count;
2828 }
2829 similar::ChangeTag::Insert => {
2830 let new_end_row = new_row + line_count - 1;
2831 let start = new_snapshot.anchor_before(Point::new(new_row, 0));
2832 let end = new_snapshot.anchor_before(Point::new(
2833 new_end_row,
2834 new_snapshot.line_len(MultiBufferRow(new_end_row)),
2835 ));
2836 inserted_row_ranges.push(start..=end);
2837 new_row += line_count;
2838 }
2839 }
2840 }
2841
2842 (deleted_row_ranges, inserted_row_ranges)
2843 })
2844 .await;
2845
2846 codegen
2847 .update(&mut cx, |codegen, cx| {
2848 codegen.diff.deleted_row_ranges = deleted_row_ranges;
2849 codegen.diff.inserted_row_ranges = inserted_row_ranges;
2850 cx.notify();
2851 })
2852 .ok();
2853 })
2854 }
2855}
2856
2857struct StripInvalidSpans<T> {
2858 stream: T,
2859 stream_done: bool,
2860 buffer: String,
2861 first_line: bool,
2862 line_end: bool,
2863 starts_with_code_block: bool,
2864}
2865
2866impl<T> StripInvalidSpans<T>
2867where
2868 T: Stream<Item = Result<String>>,
2869{
2870 fn new(stream: T) -> Self {
2871 Self {
2872 stream,
2873 stream_done: false,
2874 buffer: String::new(),
2875 first_line: true,
2876 line_end: false,
2877 starts_with_code_block: false,
2878 }
2879 }
2880}
2881
2882impl<T> Stream for StripInvalidSpans<T>
2883where
2884 T: Stream<Item = Result<String>>,
2885{
2886 type Item = Result<String>;
2887
2888 fn poll_next(self: Pin<&mut Self>, cx: &mut task::Context) -> Poll<Option<Self::Item>> {
2889 const CODE_BLOCK_DELIMITER: &str = "```";
2890 const CURSOR_SPAN: &str = "<|CURSOR|>";
2891
2892 let this = unsafe { self.get_unchecked_mut() };
2893 loop {
2894 if !this.stream_done {
2895 let mut stream = unsafe { Pin::new_unchecked(&mut this.stream) };
2896 match stream.as_mut().poll_next(cx) {
2897 Poll::Ready(Some(Ok(chunk))) => {
2898 this.buffer.push_str(&chunk);
2899 }
2900 Poll::Ready(Some(Err(error))) => return Poll::Ready(Some(Err(error))),
2901 Poll::Ready(None) => {
2902 this.stream_done = true;
2903 }
2904 Poll::Pending => return Poll::Pending,
2905 }
2906 }
2907
2908 let mut chunk = String::new();
2909 let mut consumed = 0;
2910 if !this.buffer.is_empty() {
2911 let mut lines = this.buffer.split('\n').enumerate().peekable();
2912 while let Some((line_ix, line)) = lines.next() {
2913 if line_ix > 0 {
2914 this.first_line = false;
2915 }
2916
2917 if this.first_line {
2918 let trimmed_line = line.trim();
2919 if lines.peek().is_some() {
2920 if trimmed_line.starts_with(CODE_BLOCK_DELIMITER) {
2921 consumed += line.len() + 1;
2922 this.starts_with_code_block = true;
2923 continue;
2924 }
2925 } else if trimmed_line.is_empty()
2926 || prefixes(CODE_BLOCK_DELIMITER)
2927 .any(|prefix| trimmed_line.starts_with(prefix))
2928 {
2929 break;
2930 }
2931 }
2932
2933 let line_without_cursor = line.replace(CURSOR_SPAN, "");
2934 if lines.peek().is_some() {
2935 if this.line_end {
2936 chunk.push('\n');
2937 }
2938
2939 chunk.push_str(&line_without_cursor);
2940 this.line_end = true;
2941 consumed += line.len() + 1;
2942 } else if this.stream_done {
2943 if !this.starts_with_code_block
2944 || !line_without_cursor.trim().ends_with(CODE_BLOCK_DELIMITER)
2945 {
2946 if this.line_end {
2947 chunk.push('\n');
2948 }
2949
2950 chunk.push_str(&line);
2951 }
2952
2953 consumed += line.len();
2954 } else {
2955 let trimmed_line = line.trim();
2956 if trimmed_line.is_empty()
2957 || prefixes(CURSOR_SPAN).any(|prefix| trimmed_line.ends_with(prefix))
2958 || prefixes(CODE_BLOCK_DELIMITER)
2959 .any(|prefix| trimmed_line.ends_with(prefix))
2960 {
2961 break;
2962 } else {
2963 if this.line_end {
2964 chunk.push('\n');
2965 this.line_end = false;
2966 }
2967
2968 chunk.push_str(&line_without_cursor);
2969 consumed += line.len();
2970 }
2971 }
2972 }
2973 }
2974
2975 this.buffer = this.buffer.split_off(consumed);
2976 if !chunk.is_empty() {
2977 return Poll::Ready(Some(Ok(chunk)));
2978 } else if this.stream_done {
2979 return Poll::Ready(None);
2980 }
2981 }
2982 }
2983}
2984
2985fn prefixes(text: &str) -> impl Iterator<Item = &str> {
2986 (0..text.len() - 1).map(|ix| &text[..ix + 1])
2987}
2988
2989fn merge_ranges(ranges: &mut Vec<Range<Anchor>>, buffer: &MultiBufferSnapshot) {
2990 ranges.sort_unstable_by(|a, b| {
2991 a.start
2992 .cmp(&b.start, buffer)
2993 .then_with(|| b.end.cmp(&a.end, buffer))
2994 });
2995
2996 let mut ix = 0;
2997 while ix + 1 < ranges.len() {
2998 let b = ranges[ix + 1].clone();
2999 let a = &mut ranges[ix];
3000 if a.end.cmp(&b.start, buffer).is_gt() {
3001 if a.end.cmp(&b.end, buffer).is_lt() {
3002 a.end = b.end;
3003 }
3004 ranges.remove(ix + 1);
3005 } else {
3006 ix += 1;
3007 }
3008 }
3009}
3010
3011#[cfg(test)]
3012mod tests {
3013 use super::*;
3014 use futures::stream::{self};
3015 use gpui::{Context, TestAppContext};
3016 use indoc::indoc;
3017 use language::{
3018 language_settings, tree_sitter_rust, Buffer, Language, LanguageConfig, LanguageMatcher,
3019 Point,
3020 };
3021 use language_model::LanguageModelRegistry;
3022 use rand::prelude::*;
3023 use serde::Serialize;
3024 use settings::SettingsStore;
3025 use std::{future, sync::Arc};
3026
3027 #[derive(Serialize)]
3028 pub struct DummyCompletionRequest {
3029 pub name: String,
3030 }
3031
3032 #[gpui::test(iterations = 10)]
3033 async fn test_transform_autoindent(cx: &mut TestAppContext, mut rng: StdRng) {
3034 cx.set_global(cx.update(SettingsStore::test));
3035 cx.update(language_model::LanguageModelRegistry::test);
3036 cx.update(language_settings::init);
3037
3038 let text = indoc! {"
3039 fn main() {
3040 let x = 0;
3041 for _ in 0..10 {
3042 x += 1;
3043 }
3044 }
3045 "};
3046 let buffer =
3047 cx.new_model(|cx| Buffer::local(text, cx).with_language(Arc::new(rust_lang()), cx));
3048 let buffer = cx.new_model(|cx| MultiBuffer::singleton(buffer, cx));
3049 let range = buffer.read_with(cx, |buffer, cx| {
3050 let snapshot = buffer.snapshot(cx);
3051 snapshot.anchor_before(Point::new(1, 0))..snapshot.anchor_after(Point::new(4, 5))
3052 });
3053 let prompt_builder = Arc::new(PromptBuilder::new(None).unwrap());
3054 let codegen = cx.new_model(|cx| {
3055 Codegen::new(
3056 buffer.clone(),
3057 range.clone(),
3058 None,
3059 None,
3060 prompt_builder,
3061 cx,
3062 )
3063 });
3064
3065 let (chunks_tx, chunks_rx) = mpsc::unbounded();
3066 codegen.update(cx, |codegen, cx| {
3067 codegen.handle_stream(
3068 String::new(),
3069 range,
3070 future::ready(Ok(chunks_rx.map(|chunk| Ok(chunk)).boxed())),
3071 cx,
3072 )
3073 });
3074
3075 let mut new_text = concat!(
3076 " let mut x = 0;\n",
3077 " while x < 10 {\n",
3078 " x += 1;\n",
3079 " }",
3080 );
3081 while !new_text.is_empty() {
3082 let max_len = cmp::min(new_text.len(), 10);
3083 let len = rng.gen_range(1..=max_len);
3084 let (chunk, suffix) = new_text.split_at(len);
3085 chunks_tx.unbounded_send(chunk.to_string()).unwrap();
3086 new_text = suffix;
3087 cx.background_executor.run_until_parked();
3088 }
3089 drop(chunks_tx);
3090 cx.background_executor.run_until_parked();
3091
3092 assert_eq!(
3093 buffer.read_with(cx, |buffer, cx| buffer.snapshot(cx).text()),
3094 indoc! {"
3095 fn main() {
3096 let mut x = 0;
3097 while x < 10 {
3098 x += 1;
3099 }
3100 }
3101 "}
3102 );
3103 }
3104
3105 #[gpui::test(iterations = 10)]
3106 async fn test_autoindent_when_generating_past_indentation(
3107 cx: &mut TestAppContext,
3108 mut rng: StdRng,
3109 ) {
3110 cx.set_global(cx.update(SettingsStore::test));
3111 cx.update(language_settings::init);
3112
3113 let text = indoc! {"
3114 fn main() {
3115 le
3116 }
3117 "};
3118 let buffer =
3119 cx.new_model(|cx| Buffer::local(text, cx).with_language(Arc::new(rust_lang()), cx));
3120 let buffer = cx.new_model(|cx| MultiBuffer::singleton(buffer, cx));
3121 let range = buffer.read_with(cx, |buffer, cx| {
3122 let snapshot = buffer.snapshot(cx);
3123 snapshot.anchor_before(Point::new(1, 6))..snapshot.anchor_after(Point::new(1, 6))
3124 });
3125 let prompt_builder = Arc::new(PromptBuilder::new(None).unwrap());
3126 let codegen = cx.new_model(|cx| {
3127 Codegen::new(
3128 buffer.clone(),
3129 range.clone(),
3130 None,
3131 None,
3132 prompt_builder,
3133 cx,
3134 )
3135 });
3136
3137 let (chunks_tx, chunks_rx) = mpsc::unbounded();
3138 codegen.update(cx, |codegen, cx| {
3139 codegen.handle_stream(
3140 String::new(),
3141 range.clone(),
3142 future::ready(Ok(chunks_rx.map(|chunk| Ok(chunk)).boxed())),
3143 cx,
3144 )
3145 });
3146
3147 cx.background_executor.run_until_parked();
3148
3149 let mut new_text = concat!(
3150 "t mut x = 0;\n",
3151 "while x < 10 {\n",
3152 " x += 1;\n",
3153 "}", //
3154 );
3155 while !new_text.is_empty() {
3156 let max_len = cmp::min(new_text.len(), 10);
3157 let len = rng.gen_range(1..=max_len);
3158 let (chunk, suffix) = new_text.split_at(len);
3159 chunks_tx.unbounded_send(chunk.to_string()).unwrap();
3160 new_text = suffix;
3161 cx.background_executor.run_until_parked();
3162 }
3163 drop(chunks_tx);
3164 cx.background_executor.run_until_parked();
3165
3166 assert_eq!(
3167 buffer.read_with(cx, |buffer, cx| buffer.snapshot(cx).text()),
3168 indoc! {"
3169 fn main() {
3170 let mut x = 0;
3171 while x < 10 {
3172 x += 1;
3173 }
3174 }
3175 "}
3176 );
3177 }
3178
3179 #[gpui::test(iterations = 10)]
3180 async fn test_autoindent_when_generating_before_indentation(
3181 cx: &mut TestAppContext,
3182 mut rng: StdRng,
3183 ) {
3184 cx.update(LanguageModelRegistry::test);
3185 cx.set_global(cx.update(SettingsStore::test));
3186 cx.update(language_settings::init);
3187
3188 let text = concat!(
3189 "fn main() {\n",
3190 " \n",
3191 "}\n" //
3192 );
3193 let buffer =
3194 cx.new_model(|cx| Buffer::local(text, cx).with_language(Arc::new(rust_lang()), cx));
3195 let buffer = cx.new_model(|cx| MultiBuffer::singleton(buffer, cx));
3196 let range = buffer.read_with(cx, |buffer, cx| {
3197 let snapshot = buffer.snapshot(cx);
3198 snapshot.anchor_before(Point::new(1, 2))..snapshot.anchor_after(Point::new(1, 2))
3199 });
3200 let prompt_builder = Arc::new(PromptBuilder::new(None).unwrap());
3201 let codegen = cx.new_model(|cx| {
3202 Codegen::new(
3203 buffer.clone(),
3204 range.clone(),
3205 None,
3206 None,
3207 prompt_builder,
3208 cx,
3209 )
3210 });
3211
3212 let (chunks_tx, chunks_rx) = mpsc::unbounded();
3213 codegen.update(cx, |codegen, cx| {
3214 codegen.handle_stream(
3215 String::new(),
3216 range.clone(),
3217 future::ready(Ok(chunks_rx.map(|chunk| Ok(chunk)).boxed())),
3218 cx,
3219 )
3220 });
3221
3222 cx.background_executor.run_until_parked();
3223
3224 let mut new_text = concat!(
3225 "let mut x = 0;\n",
3226 "while x < 10 {\n",
3227 " x += 1;\n",
3228 "}", //
3229 );
3230 while !new_text.is_empty() {
3231 let max_len = cmp::min(new_text.len(), 10);
3232 let len = rng.gen_range(1..=max_len);
3233 let (chunk, suffix) = new_text.split_at(len);
3234 chunks_tx.unbounded_send(chunk.to_string()).unwrap();
3235 new_text = suffix;
3236 cx.background_executor.run_until_parked();
3237 }
3238 drop(chunks_tx);
3239 cx.background_executor.run_until_parked();
3240
3241 assert_eq!(
3242 buffer.read_with(cx, |buffer, cx| buffer.snapshot(cx).text()),
3243 indoc! {"
3244 fn main() {
3245 let mut x = 0;
3246 while x < 10 {
3247 x += 1;
3248 }
3249 }
3250 "}
3251 );
3252 }
3253
3254 #[gpui::test(iterations = 10)]
3255 async fn test_autoindent_respects_tabs_in_selection(cx: &mut TestAppContext) {
3256 cx.update(LanguageModelRegistry::test);
3257 cx.set_global(cx.update(SettingsStore::test));
3258 cx.update(language_settings::init);
3259
3260 let text = indoc! {"
3261 func main() {
3262 \tx := 0
3263 \tfor i := 0; i < 10; i++ {
3264 \t\tx++
3265 \t}
3266 }
3267 "};
3268 let buffer = cx.new_model(|cx| Buffer::local(text, cx));
3269 let buffer = cx.new_model(|cx| MultiBuffer::singleton(buffer, cx));
3270 let range = buffer.read_with(cx, |buffer, cx| {
3271 let snapshot = buffer.snapshot(cx);
3272 snapshot.anchor_before(Point::new(0, 0))..snapshot.anchor_after(Point::new(4, 2))
3273 });
3274 let prompt_builder = Arc::new(PromptBuilder::new(None).unwrap());
3275 let codegen = cx.new_model(|cx| {
3276 Codegen::new(
3277 buffer.clone(),
3278 range.clone(),
3279 None,
3280 None,
3281 prompt_builder,
3282 cx,
3283 )
3284 });
3285
3286 let (chunks_tx, chunks_rx) = mpsc::unbounded();
3287 codegen.update(cx, |codegen, cx| {
3288 codegen.handle_stream(
3289 String::new(),
3290 range.clone(),
3291 future::ready(Ok(chunks_rx.map(|chunk| Ok(chunk)).boxed())),
3292 cx,
3293 )
3294 });
3295
3296 let new_text = concat!(
3297 "func main() {\n",
3298 "\tx := 0\n",
3299 "\tfor x < 10 {\n",
3300 "\t\tx++\n",
3301 "\t}", //
3302 );
3303 chunks_tx.unbounded_send(new_text.to_string()).unwrap();
3304 drop(chunks_tx);
3305 cx.background_executor.run_until_parked();
3306
3307 assert_eq!(
3308 buffer.read_with(cx, |buffer, cx| buffer.snapshot(cx).text()),
3309 indoc! {"
3310 func main() {
3311 \tx := 0
3312 \tfor x < 10 {
3313 \t\tx++
3314 \t}
3315 }
3316 "}
3317 );
3318 }
3319
3320 #[gpui::test]
3321 async fn test_strip_invalid_spans_from_codeblock() {
3322 assert_chunks("Lorem ipsum dolor", "Lorem ipsum dolor").await;
3323 assert_chunks("```\nLorem ipsum dolor", "Lorem ipsum dolor").await;
3324 assert_chunks("```\nLorem ipsum dolor\n```", "Lorem ipsum dolor").await;
3325 assert_chunks(
3326 "```html\n```js\nLorem ipsum dolor\n```\n```",
3327 "```js\nLorem ipsum dolor\n```",
3328 )
3329 .await;
3330 assert_chunks("``\nLorem ipsum dolor\n```", "``\nLorem ipsum dolor\n```").await;
3331 assert_chunks("Lorem<|CURSOR|> ipsum", "Lorem ipsum").await;
3332 assert_chunks("Lorem ipsum", "Lorem ipsum").await;
3333 assert_chunks("```\n<|CURSOR|>Lorem ipsum\n```", "Lorem ipsum").await;
3334
3335 async fn assert_chunks(text: &str, expected_text: &str) {
3336 for chunk_size in 1..=text.len() {
3337 let actual_text = StripInvalidSpans::new(chunks(text, chunk_size))
3338 .map(|chunk| chunk.unwrap())
3339 .collect::<String>()
3340 .await;
3341 assert_eq!(
3342 actual_text, expected_text,
3343 "failed to strip invalid spans, chunk size: {}",
3344 chunk_size
3345 );
3346 }
3347 }
3348
3349 fn chunks(text: &str, size: usize) -> impl Stream<Item = Result<String>> {
3350 stream::iter(
3351 text.chars()
3352 .collect::<Vec<_>>()
3353 .chunks(size)
3354 .map(|chunk| Ok(chunk.iter().collect::<String>()))
3355 .collect::<Vec<_>>(),
3356 )
3357 }
3358 }
3359
3360 fn rust_lang() -> Language {
3361 Language::new(
3362 LanguageConfig {
3363 name: "Rust".into(),
3364 matcher: LanguageMatcher {
3365 path_suffixes: vec!["rs".to_string()],
3366 ..Default::default()
3367 },
3368 ..Default::default()
3369 },
3370 Some(tree_sitter_rust::language()),
3371 )
3372 .with_indents_query(
3373 r#"
3374 (call_expression) @indent
3375 (field_expression) @indent
3376 (_ "(" ")" @end) @indent
3377 (_ "{" "}" @end) @indent
3378 "#,
3379 )
3380 .unwrap()
3381 }
3382}