woocraft 0.4.5

GPUI components lib for Woocraft design system.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

use std::time::Duration;

use anyhow::Result;
use gpui::{App, Context, Task, Window};
use ropey::Rope;

use crate::widgets::editor::{InputState, RopeExt, popovers::HoverPopover};

/// Hover provider
///
/// https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_hover
pub trait HoverProvider {
  /// textDocument/hover
  ///
  /// https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_hover
  fn hover(
    &self, _text: &Rope, _offset: usize, _window: &mut Window, _cx: &mut App,
  ) -> Task<Result<Option<lsp_types::Hover>>>;
}

impl InputState {
  /// Handle hover trigger LSP request.
  pub(super) fn handle_hover_popover(
    &mut self, offset: usize, window: &mut Window, cx: &mut Context<InputState>,
  ) -> bool {
    if self.selecting {
      return false;
    }

    let Some(provider) = self.lsp.hover_provider.clone() else {
      return self.clear_hover_popover_if_needed();
    };

    if let Some(hover_popover) = self.hover_popover.as_ref()
      && hover_popover.read(cx).is_same(offset)
    {
      return false;
    }

    // Currently not implemented.
    let task = provider.hover(&self.text, offset, window, cx);
    let mut symbol_range = self.text.word_range(offset).unwrap_or(offset..offset);
    let editor = cx.entity();
    let should_delay = self.hover_popover.is_none();
    self.lsp._hover_task = cx.spawn_in(window, async move |_, cx| {
      if should_delay {
        cx.background_executor()
          .timer(Duration::from_millis(150))
          .await;
      }

      let result = task.await?;

      _ = editor.update(cx, |editor, cx| match result {
        Some(hover) => {
          if let Some(range) = hover.range {
            let start = editor.text.position_to_offset(&range.start);
            let end = editor.text.position_to_offset(&range.end);
            symbol_range = start..end;
          }
          let changed = editor
            .hover_popover
            .as_ref()
            .is_none_or(|popover| !popover.read(cx).is_same(offset));
          let hover_popover = HoverPopover::new(cx.entity(), symbol_range, &hover, cx);
          editor.hover_popover = Some(hover_popover);
          if changed {
            cx.notify();
          }
        }
        None => {
          if editor.clear_hover_popover_if_needed() {
            cx.notify();
          }
        }
      });

      Ok(())
    });

    false
  }
}