bezel-blocks 0.2.24

Painted fenced blocks for the bezel markdown renderer — a fence tag and its source in, an element out
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

//! ` ```vega-lite ` — a Vega-Lite spec, drawn by `bezel-chart` for the subset
//! [`chart::vega_lite`] reads.
//!
//! Parsing costs milliseconds and paint runs every frame, so each source is
//! parsed once and its chart kept. The kept chart's data generation is what
//! keeps the element's layout from one frame to the next.

use std::{
    collections::HashMap,
    hash::{DefaultHasher, Hash, Hasher},
};

use chart::Chart;
use gpui::{AnyElement, App, Global, SharedString, Window, div, prelude::*, px};
use theme::Theme;

pub const LANGUAGE: &str = "vega-lite";

/// Charts kept parsed. Past this the cache starts over.
const CACHED: usize = 64;
/// The block's height when the fence states none.
const HEIGHT: f32 = 260.0;
const PADDING: f32 = 12.0;

/// Parsed charts by source. `None` for source that did not parse, so a fence
/// being typed is not parsed again every frame.
#[derive(Default)]
struct Cache(HashMap<u64, Option<Chart>>);

impl Global for Cache {}

pub fn render(code: &str, height: Option<u32>, _: &mut Window, cx: &mut App) -> Option<AnyElement> {
    let mut hasher = DefaultHasher::new();
    code.hash(&mut hasher);
    let key = hasher.finish();
    let cache = &mut cx.default_global::<Cache>().0;
    let chart = match cache.get(&key) {
        Some(chart) => chart.clone(),
        None => {
            if cache.len() >= CACHED {
                cache.clear();
            }
            let chart = chart::vega_lite::import(code);
            cache.insert(key, chart.clone());
            chart
        }
    }?;

    let theme = Theme::of(cx);
    let id = SharedString::from(format!("vega-lite-{key:x}"));
    Some(
        div()
            .debug_selector(|| LANGUAGE.into())
            .h(px(height.map_or(HEIGHT, |height| height as f32)))
            .p(px(PADDING))
            .rounded(px(Theme::BASE_RADIUS))
            .bg(theme.ink(0.02))
            .child(chart::view(id, chart).size_full())
            .into_any_element(),
    )
}