2023-02-10 07:42:05 -07:00
|
|
|
// SPDX-License-Identifier: GPL-3.0-only
|
2023-02-07 13:00:49 -07:00
|
|
|
|
|
|
|
|
use cosmic::{
|
2025-09-10 13:36:02 +02:00
|
|
|
Renderer,
|
|
|
|
|
cosmic_theme::palette::{WithAlpha, blend::Compose},
|
2023-08-18 09:39:37 -06:00
|
|
|
iced::{
|
2025-09-10 13:36:02 +02:00
|
|
|
Color, Element, Length, Padding, Point, Rectangle, Size, Vector,
|
2024-02-15 15:23:41 -07:00
|
|
|
advanced::graphics::text::font_system,
|
2023-02-07 13:00:49 -07:00
|
|
|
event::{Event, Status},
|
2024-02-05 16:18:36 -05:00
|
|
|
keyboard::{Event as KeyEvent, Modifiers},
|
2023-02-07 13:00:49 -07:00
|
|
|
mouse::{self, Button, Event as MouseEvent, ScrollDelta},
|
2023-08-18 09:39:37 -06:00
|
|
|
},
|
|
|
|
|
iced_core::{
|
2025-09-10 13:36:02 +02:00
|
|
|
Border, Radians, Shell,
|
2023-08-18 09:39:37 -06:00
|
|
|
clipboard::Clipboard,
|
|
|
|
|
image,
|
2025-09-10 13:36:02 +02:00
|
|
|
keyboard::{Key, key::Named},
|
2023-08-18 09:39:37 -06:00
|
|
|
layout::{self, Layout},
|
2024-01-11 11:46:19 -07:00
|
|
|
renderer::{self, Quad, Renderer as _},
|
2024-01-09 12:40:29 -07:00
|
|
|
widget::{
|
2025-09-10 13:36:02 +02:00
|
|
|
self, Id, Widget,
|
2024-10-22 11:55:58 -06:00
|
|
|
operation::{self, Operation},
|
2025-09-10 13:36:02 +02:00
|
|
|
tree,
|
2024-01-09 12:40:29 -07:00
|
|
|
},
|
2023-02-07 13:00:49 -07:00
|
|
|
},
|
2024-01-11 11:46:19 -07:00
|
|
|
theme::Theme,
|
2023-02-07 13:00:49 -07:00
|
|
|
};
|
2024-03-18 08:58:45 -06:00
|
|
|
use cosmic_text::{
|
|
|
|
|
Action, BorrowedWithFontSystem, Edit, Metrics, Motion, Scroll, Selection, ViEditor,
|
|
|
|
|
};
|
2023-12-12 10:30:23 -07:00
|
|
|
use std::{
|
|
|
|
|
cell::Cell,
|
|
|
|
|
cmp,
|
|
|
|
|
sync::Mutex,
|
|
|
|
|
time::{Duration, Instant},
|
|
|
|
|
};
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2025-09-10 13:36:02 +02:00
|
|
|
use crate::{LINE_NUMBER_CACHE, SWASH_CACHE, line_number::LineNumberKey};
|
2023-03-17 18:48:56 -06:00
|
|
|
|
2023-11-13 14:47:17 -07:00
|
|
|
pub struct TextBox<'a, Message> {
|
2023-12-19 12:07:45 -07:00
|
|
|
editor: &'a Mutex<ViEditor<'static, 'static>>,
|
2023-11-03 15:58:26 -06:00
|
|
|
metrics: Metrics,
|
2024-01-09 12:40:29 -07:00
|
|
|
id: Option<Id>,
|
2023-02-07 13:00:49 -07:00
|
|
|
padding: Padding,
|
2025-02-05 15:28:38 -07:00
|
|
|
on_auto_scroll: Option<Box<dyn Fn(Option<f32>) -> Message + 'a>>,
|
2023-11-13 14:47:17 -07:00
|
|
|
on_changed: Option<Message>,
|
2023-12-12 10:30:23 -07:00
|
|
|
click_timing: Duration,
|
2024-01-09 12:40:29 -07:00
|
|
|
has_context_menu: bool,
|
2023-11-20 11:26:26 -07:00
|
|
|
on_context_menu: Option<Box<dyn Fn(Option<Point>) -> Message + 'a>>,
|
2024-02-20 09:45:19 -07:00
|
|
|
highlight_current_line: bool,
|
2023-11-30 14:24:58 -07:00
|
|
|
line_numbers: bool,
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2023-11-13 14:47:17 -07:00
|
|
|
impl<'a, Message> TextBox<'a, Message>
|
|
|
|
|
where
|
|
|
|
|
Message: Clone,
|
|
|
|
|
{
|
2023-12-19 12:07:45 -07:00
|
|
|
pub fn new(editor: &'a Mutex<ViEditor<'static, 'static>>, metrics: Metrics) -> Self {
|
2023-02-07 13:00:49 -07:00
|
|
|
Self {
|
|
|
|
|
editor,
|
2023-11-03 15:58:26 -06:00
|
|
|
metrics,
|
2024-01-09 12:40:29 -07:00
|
|
|
id: None,
|
2023-08-18 09:39:37 -06:00
|
|
|
padding: Padding::new(0.0),
|
2025-02-05 15:28:38 -07:00
|
|
|
on_auto_scroll: None,
|
2023-11-13 14:47:17 -07:00
|
|
|
on_changed: None,
|
2023-12-12 10:30:23 -07:00
|
|
|
click_timing: Duration::from_millis(500),
|
2024-01-09 12:40:29 -07:00
|
|
|
has_context_menu: false,
|
2023-11-20 11:26:26 -07:00
|
|
|
on_context_menu: None,
|
2024-02-20 09:45:19 -07:00
|
|
|
highlight_current_line: false,
|
2023-11-30 14:24:58 -07:00
|
|
|
line_numbers: false,
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2024-01-09 12:40:29 -07:00
|
|
|
pub fn id(mut self, id: Id) -> Self {
|
|
|
|
|
self.id = Some(id);
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
pub fn padding<P: Into<Padding>>(mut self, padding: P) -> Self {
|
|
|
|
|
self.padding = padding.into();
|
|
|
|
|
self
|
|
|
|
|
}
|
2023-11-13 14:47:17 -07:00
|
|
|
|
2025-02-05 15:28:38 -07:00
|
|
|
pub fn on_auto_scroll(mut self, on_auto_scroll: impl Fn(Option<f32>) -> Message + 'a) -> Self {
|
|
|
|
|
self.on_auto_scroll = Some(Box::new(on_auto_scroll));
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2023-11-13 14:47:17 -07:00
|
|
|
pub fn on_changed(mut self, on_changed: Message) -> Self {
|
|
|
|
|
self.on_changed = Some(on_changed);
|
|
|
|
|
self
|
|
|
|
|
}
|
2023-11-20 11:26:26 -07:00
|
|
|
|
2023-12-12 10:30:23 -07:00
|
|
|
pub fn click_timing(mut self, click_timing: Duration) -> Self {
|
|
|
|
|
self.click_timing = click_timing;
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2024-01-09 12:40:29 -07:00
|
|
|
pub fn has_context_menu(mut self, has_context_menu: bool) -> Self {
|
|
|
|
|
self.has_context_menu = has_context_menu;
|
2023-11-20 11:26:26 -07:00
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn on_context_menu(
|
|
|
|
|
mut self,
|
|
|
|
|
on_context_menu: impl Fn(Option<Point>) -> Message + 'a,
|
|
|
|
|
) -> Self {
|
|
|
|
|
self.on_context_menu = Some(Box::new(on_context_menu));
|
|
|
|
|
self
|
|
|
|
|
}
|
2023-11-30 14:24:58 -07:00
|
|
|
|
2024-02-20 09:45:19 -07:00
|
|
|
pub fn highlight_current_line(mut self) -> Self {
|
|
|
|
|
self.highlight_current_line = true;
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2023-11-30 14:24:58 -07:00
|
|
|
pub fn line_numbers(mut self) -> Self {
|
|
|
|
|
self.line_numbers = true;
|
|
|
|
|
self
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2023-11-13 14:47:17 -07:00
|
|
|
pub fn text_box<'a, Message>(
|
2023-12-19 12:07:45 -07:00
|
|
|
editor: &'a Mutex<ViEditor<'static, 'static>>,
|
2023-11-13 14:47:17 -07:00
|
|
|
metrics: Metrics,
|
|
|
|
|
) -> TextBox<'a, Message>
|
|
|
|
|
where
|
|
|
|
|
Message: Clone,
|
|
|
|
|
{
|
2023-11-03 15:58:26 -06:00
|
|
|
TextBox::new(editor, metrics)
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2023-12-25 14:58:29 -05:00
|
|
|
struct Canvas {
|
|
|
|
|
w: i32,
|
|
|
|
|
h: i32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct Offset {
|
|
|
|
|
x: i32,
|
|
|
|
|
y: i32,
|
|
|
|
|
}
|
|
|
|
|
|
2023-12-26 07:23:54 -05:00
|
|
|
/// This function is called canvas.x * canvas.y number of times
|
|
|
|
|
/// each time the text is scrolled or the canvas is resized.
|
|
|
|
|
/// If the canvas is moved, it's not called as the pixel buffer
|
2023-12-26 07:07:21 -05:00
|
|
|
/// is the same, it's just translated for the screen's x, y.
|
2023-12-26 07:23:54 -05:00
|
|
|
/// canvas is the location of the pixel in the canvas.
|
|
|
|
|
/// Screen is the location of the pixel on the screen.
|
2023-12-26 07:07:21 -05:00
|
|
|
// TODO: improve performance
|
2023-10-11 15:52:46 -06:00
|
|
|
fn draw_rect(
|
|
|
|
|
buffer: &mut [u32],
|
2023-12-26 07:23:54 -05:00
|
|
|
canvas: Canvas,
|
2023-12-25 14:58:29 -05:00
|
|
|
offset: Canvas,
|
2023-12-26 07:07:21 -05:00
|
|
|
screen: Offset,
|
2023-11-30 14:24:58 -07:00
|
|
|
cosmic_color: cosmic_text::Color,
|
2023-10-11 15:52:46 -06:00
|
|
|
) {
|
2023-11-30 14:24:58 -07:00
|
|
|
// Grab alpha channel and green channel
|
|
|
|
|
let mut color = cosmic_color.0 & 0xFF00FF00;
|
|
|
|
|
// Shift red channel
|
|
|
|
|
color |= (cosmic_color.0 & 0x00FF0000) >> 16;
|
|
|
|
|
// Shift blue channel
|
|
|
|
|
color |= (cosmic_color.0 & 0x000000FF) << 16;
|
|
|
|
|
|
2023-10-11 15:52:46 -06:00
|
|
|
let alpha = (color >> 24) & 0xFF;
|
2023-12-26 07:07:21 -05:00
|
|
|
match alpha {
|
|
|
|
|
0 => {
|
|
|
|
|
// Do not draw if alpha is zero.
|
|
|
|
|
}
|
|
|
|
|
255 => {
|
|
|
|
|
// Handle overwrite
|
|
|
|
|
for x in screen.x..screen.x + offset.w {
|
2023-12-26 07:23:54 -05:00
|
|
|
if x < 0 || x >= canvas.w {
|
2023-12-26 07:07:21 -05:00
|
|
|
// Skip if y out of bounds
|
2023-10-11 15:52:46 -06:00
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
2023-12-26 07:07:21 -05:00
|
|
|
for y in screen.y..screen.y + offset.h {
|
2023-12-26 07:23:54 -05:00
|
|
|
if y < 0 || y >= canvas.h {
|
2023-12-26 07:07:21 -05:00
|
|
|
// Skip if x out of bounds
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
2023-12-26 07:23:54 -05:00
|
|
|
let line_offset = y as usize * canvas.w as usize;
|
2023-12-26 07:07:21 -05:00
|
|
|
let offset = line_offset + x as usize;
|
|
|
|
|
buffer[offset] = color;
|
|
|
|
|
}
|
2023-10-11 15:52:46 -06:00
|
|
|
}
|
|
|
|
|
}
|
2023-12-26 07:07:21 -05:00
|
|
|
_ => {
|
|
|
|
|
let n_alpha = 255 - alpha;
|
|
|
|
|
for y in screen.y..screen.y + offset.h {
|
2023-12-26 07:23:54 -05:00
|
|
|
if y < 0 || y >= canvas.h {
|
2023-12-26 07:07:21 -05:00
|
|
|
// Skip if y out of bounds
|
2023-10-11 15:52:46 -06:00
|
|
|
continue;
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2023-12-26 07:23:54 -05:00
|
|
|
let line_offset = y as usize * canvas.w as usize;
|
2023-12-26 07:07:21 -05:00
|
|
|
for x in screen.x..screen.x + offset.w {
|
2023-12-26 07:23:54 -05:00
|
|
|
if x < 0 || x >= canvas.w {
|
2023-12-26 07:07:21 -05:00
|
|
|
// Skip if x out of bounds
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Alpha blend with current value
|
|
|
|
|
let offset = line_offset + x as usize;
|
|
|
|
|
let current = buffer[offset];
|
|
|
|
|
if current & 0xFF000000 == 0 {
|
|
|
|
|
// Overwrite if buffer empty
|
|
|
|
|
buffer[offset] = color;
|
|
|
|
|
} else {
|
|
|
|
|
let rb = ((n_alpha * (current & 0x00FF00FF))
|
|
|
|
|
+ (alpha * (color & 0x00FF00FF)))
|
|
|
|
|
>> 8;
|
|
|
|
|
let ag = (n_alpha * ((current & 0xFF00FF00) >> 8))
|
|
|
|
|
+ (alpha * (0x01000000 | ((color & 0x0000FF00) >> 8)));
|
|
|
|
|
buffer[offset] = (rb & 0x00FF00FF) | (ag & 0xFF00FF00);
|
|
|
|
|
}
|
2023-11-02 12:56:59 -06:00
|
|
|
}
|
2023-10-11 15:52:46 -06:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2024-02-05 16:18:36 -05:00
|
|
|
impl<'a, Message> Widget<Message, cosmic::Theme, Renderer> for TextBox<'a, Message>
|
2023-02-07 13:00:49 -07:00
|
|
|
where
|
2023-11-13 14:47:17 -07:00
|
|
|
Message: Clone,
|
2023-02-07 13:00:49 -07:00
|
|
|
{
|
|
|
|
|
fn tag(&self) -> tree::Tag {
|
|
|
|
|
tree::Tag::of::<State>()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn state(&self) -> tree::State {
|
|
|
|
|
tree::State::new(State::new())
|
|
|
|
|
}
|
|
|
|
|
|
2024-02-05 16:18:36 -05:00
|
|
|
fn size(&self) -> Size<Length> {
|
|
|
|
|
Size::new(Length::Fill, Length::Fill)
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2023-12-05 10:38:24 -07:00
|
|
|
fn layout(
|
|
|
|
|
&self,
|
|
|
|
|
_tree: &mut widget::Tree,
|
|
|
|
|
_renderer: &Renderer,
|
|
|
|
|
limits: &layout::Limits,
|
|
|
|
|
) -> layout::Node {
|
2023-02-07 13:00:49 -07:00
|
|
|
let limits = limits.width(Length::Fill).height(Length::Fill);
|
|
|
|
|
|
|
|
|
|
let mut editor = self.editor.lock().unwrap();
|
2023-11-02 10:02:07 -06:00
|
|
|
//TODO: set size?
|
2023-03-17 18:48:56 -06:00
|
|
|
editor
|
2024-02-15 15:23:41 -07:00
|
|
|
.borrow_with(font_system().write().unwrap().raw())
|
2023-12-15 15:08:39 -07:00
|
|
|
.shape_as_needed(true);
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.with_buffer(|buffer| {
|
|
|
|
|
let mut layout_lines = 0;
|
|
|
|
|
for line in buffer.lines.iter() {
|
|
|
|
|
match line.layout_opt() {
|
|
|
|
|
Some(layout) => layout_lines += layout.len(),
|
|
|
|
|
None => (),
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2023-12-19 12:07:45 -07:00
|
|
|
let height = layout_lines as f32 * buffer.metrics().line_height;
|
|
|
|
|
let size = Size::new(limits.max().width, height);
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2024-02-05 16:18:36 -05:00
|
|
|
layout::Node::new(limits.resolve(Length::Fill, Length::Fill, size))
|
2023-12-19 12:07:45 -07:00
|
|
|
})
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
2024-01-09 12:40:29 -07:00
|
|
|
fn operate(
|
|
|
|
|
&self,
|
|
|
|
|
tree: &mut widget::Tree,
|
|
|
|
|
_layout: Layout<'_>,
|
|
|
|
|
_renderer: &Renderer,
|
2024-10-22 11:55:58 -06:00
|
|
|
operation: &mut dyn Operation,
|
2024-01-09 12:40:29 -07:00
|
|
|
) {
|
|
|
|
|
let state = tree.state.downcast_mut::<State>();
|
|
|
|
|
|
|
|
|
|
operation.focusable(state, self.id.as_ref());
|
|
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
fn mouse_interaction(
|
|
|
|
|
&self,
|
2023-11-10 11:20:55 -07:00
|
|
|
tree: &widget::Tree,
|
2023-02-07 13:00:49 -07:00
|
|
|
layout: Layout<'_>,
|
2023-08-18 09:39:37 -06:00
|
|
|
cursor_position: mouse::Cursor,
|
2023-02-07 13:00:49 -07:00
|
|
|
_viewport: &Rectangle,
|
|
|
|
|
_renderer: &Renderer,
|
|
|
|
|
) -> mouse::Interaction {
|
2023-11-10 11:20:55 -07:00
|
|
|
let state = tree.state.downcast_ref::<State>();
|
|
|
|
|
|
2024-05-30 15:36:53 -06:00
|
|
|
if let Some(Dragging::ScrollbarV { .. }) = &state.dragging {
|
2023-12-25 13:06:02 -05:00
|
|
|
return mouse::Interaction::Idle;
|
2023-11-10 11:20:55 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if let Some(p) = cursor_position.position_in(layout.bounds()) {
|
2023-11-30 15:17:53 -07:00
|
|
|
let editor_offset_x = state.editor_offset_x.get();
|
2023-11-10 11:20:55 -07:00
|
|
|
let scale_factor = state.scale_factor.get();
|
|
|
|
|
let editor = self.editor.lock().unwrap();
|
2023-12-19 12:07:45 -07:00
|
|
|
let buffer_size = editor.with_buffer(|buffer| buffer.size());
|
2023-11-10 11:20:55 -07:00
|
|
|
|
2023-11-30 15:17:53 -07:00
|
|
|
let x_logical = p.x - self.padding.left;
|
|
|
|
|
let y_logical = p.y - self.padding.top;
|
|
|
|
|
let x = x_logical * scale_factor - editor_offset_x as f32;
|
|
|
|
|
let y = y_logical * scale_factor;
|
2024-06-12 09:45:12 -06:00
|
|
|
if x >= 0.0
|
|
|
|
|
&& x < buffer_size.0.unwrap_or(0.0)
|
|
|
|
|
&& y >= 0.0
|
|
|
|
|
&& y < buffer_size.1.unwrap_or(0.0)
|
|
|
|
|
{
|
2023-11-10 11:20:55 -07:00
|
|
|
return mouse::Interaction::Text;
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
2023-11-10 11:20:55 -07:00
|
|
|
|
|
|
|
|
mouse::Interaction::Idle
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn draw(
|
|
|
|
|
&self,
|
|
|
|
|
tree: &widget::Tree,
|
|
|
|
|
renderer: &mut Renderer,
|
2024-01-11 11:46:19 -07:00
|
|
|
theme: &Theme,
|
2023-03-24 07:55:07 -06:00
|
|
|
style: &renderer::Style,
|
2023-02-07 13:00:49 -07:00
|
|
|
layout: Layout<'_>,
|
2024-01-11 11:46:19 -07:00
|
|
|
cursor_position: mouse::Cursor,
|
2023-02-07 13:00:49 -07:00
|
|
|
viewport: &Rectangle,
|
|
|
|
|
) {
|
2023-03-24 07:55:07 -06:00
|
|
|
let instant = Instant::now();
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
let state = tree.state.downcast_ref::<State>();
|
|
|
|
|
|
|
|
|
|
let mut editor = self.editor.lock().unwrap();
|
|
|
|
|
|
2024-03-14 20:39:28 -06:00
|
|
|
let cosmic_theme = theme.cosmic();
|
|
|
|
|
let scrollbar_w = cosmic_theme.spacing.space_xxs as i32;
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
let view_w = cmp::min(viewport.width as i32, layout.bounds().width as i32)
|
2024-03-14 20:39:28 -06:00
|
|
|
- self.padding.horizontal() as i32
|
|
|
|
|
- scrollbar_w;
|
2023-02-07 13:00:49 -07:00
|
|
|
let view_h = cmp::min(viewport.height as i32, layout.bounds().height as i32)
|
|
|
|
|
- self.padding.vertical() as i32;
|
2023-03-17 18:48:56 -06:00
|
|
|
|
2023-11-10 11:20:55 -07:00
|
|
|
let scale_factor = style.scale_factor as f32;
|
2023-12-01 14:10:12 -07:00
|
|
|
let metrics = self.metrics.scale(scale_factor);
|
2023-08-18 09:39:37 -06:00
|
|
|
|
2024-03-14 20:39:28 -06:00
|
|
|
let calculate_image_scaled = |view: i32| -> (i32, f32) {
|
|
|
|
|
// Get smallest set of physical pixels that fit inside the logical pixels
|
|
|
|
|
let image = ((view as f32) * scale_factor).floor() as i32;
|
|
|
|
|
// Convert that back into logical pixels
|
|
|
|
|
let scaled = (image as f32) / scale_factor;
|
|
|
|
|
(image, scaled)
|
|
|
|
|
};
|
|
|
|
|
let calculate_ideal = |view_start: i32| -> (i32, f32) {
|
|
|
|
|
// Search for a perfect match within 16 pixels
|
|
|
|
|
for i in 0..16 {
|
|
|
|
|
let view = view_start - i;
|
|
|
|
|
let (image, scaled) = calculate_image_scaled(view);
|
|
|
|
|
if view == scaled as i32 {
|
|
|
|
|
return (image, scaled);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
let (image, scaled) = calculate_image_scaled(view_start);
|
|
|
|
|
(image, scaled)
|
|
|
|
|
};
|
2023-11-10 11:20:55 -07:00
|
|
|
|
2024-03-14 20:39:28 -06:00
|
|
|
let (image_w, scaled_w) = calculate_ideal(view_w);
|
|
|
|
|
let (image_h, scaled_h) = calculate_ideal(view_h);
|
2023-10-20 13:12:26 -06:00
|
|
|
|
2024-03-14 20:39:28 -06:00
|
|
|
if image_w <= 0 || image_h <= 0 {
|
2023-10-11 19:32:04 -06:00
|
|
|
// Zero sized image
|
|
|
|
|
return;
|
|
|
|
|
}
|
2023-03-24 07:55:07 -06:00
|
|
|
|
2023-11-30 15:17:53 -07:00
|
|
|
// Lock font system (used throughout)
|
2024-02-15 15:23:41 -07:00
|
|
|
let mut font_system = font_system().write().unwrap();
|
2023-03-17 18:48:56 -06:00
|
|
|
|
2023-11-30 15:17:53 -07:00
|
|
|
// Calculate line number information
|
|
|
|
|
let (line_number_chars, editor_offset_x) = if self.line_numbers {
|
|
|
|
|
// Calculate number of characters needed in line number
|
|
|
|
|
let mut line_number_chars = 1;
|
2023-12-19 12:07:45 -07:00
|
|
|
let mut line_count = editor.with_buffer(|buffer| buffer.lines.len());
|
2023-11-30 15:17:53 -07:00
|
|
|
while line_count >= 10 {
|
|
|
|
|
line_count /= 10;
|
|
|
|
|
line_number_chars += 1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Calculate line number width
|
|
|
|
|
let mut line_number_width = 0.0;
|
|
|
|
|
{
|
2024-01-18 00:25:22 -05:00
|
|
|
let mut line_number_cache = LINE_NUMBER_CACHE.get().unwrap().lock().unwrap();
|
2023-11-30 15:17:53 -07:00
|
|
|
if let Some(layout_line) = line_number_cache
|
|
|
|
|
.get(
|
2024-02-15 15:23:41 -07:00
|
|
|
font_system.raw(),
|
2023-11-30 15:17:53 -07:00
|
|
|
LineNumberKey {
|
|
|
|
|
number: 1,
|
|
|
|
|
width: line_number_chars,
|
|
|
|
|
},
|
|
|
|
|
)
|
|
|
|
|
.first()
|
|
|
|
|
{
|
2023-12-01 14:10:12 -07:00
|
|
|
let line_width = layout_line.w * metrics.font_size;
|
2023-11-30 15:17:53 -07:00
|
|
|
if line_width > line_number_width {
|
|
|
|
|
line_number_width = line_width;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
(line_number_chars, (line_number_width + 8.0).ceil() as i32)
|
|
|
|
|
} else {
|
|
|
|
|
(0, 0)
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
// Save editor offset in state
|
|
|
|
|
if state.editor_offset_x.replace(editor_offset_x) != editor_offset_x {
|
|
|
|
|
// Mark buffer as needing redraw if editor offset has changed
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.set_redraw(true);
|
2023-11-30 15:17:53 -07:00
|
|
|
}
|
|
|
|
|
|
2023-10-31 20:41:52 -06:00
|
|
|
// Set metrics and size
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.with_buffer_mut(|buffer| {
|
|
|
|
|
buffer.set_metrics_and_size(
|
2024-02-15 15:23:41 -07:00
|
|
|
font_system.raw(),
|
2023-12-19 12:07:45 -07:00
|
|
|
metrics,
|
2024-06-12 09:45:12 -06:00
|
|
|
Some((image_w - editor_offset_x) as f32),
|
|
|
|
|
Some(image_h as f32),
|
2023-12-19 12:07:45 -07:00
|
|
|
)
|
|
|
|
|
});
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2023-10-31 20:41:52 -06:00
|
|
|
// Shape and layout as needed
|
2024-02-15 15:23:41 -07:00
|
|
|
editor.shape_as_needed(font_system.raw(), true);
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2023-11-21 09:37:03 -07:00
|
|
|
let mut handle_opt = state.handle_opt.lock().unwrap();
|
2023-12-19 12:07:45 -07:00
|
|
|
if editor.redraw() || handle_opt.is_none() {
|
2023-10-11 18:54:29 -06:00
|
|
|
// Draw to pixel buffer
|
2023-12-19 12:07:45 -07:00
|
|
|
let mut pixels_u8 = vec![0; image_w as usize * image_h as usize * 4];
|
2023-10-11 18:54:29 -06:00
|
|
|
{
|
2024-01-18 00:25:22 -05:00
|
|
|
let mut swash_cache = SWASH_CACHE.get().unwrap().lock().unwrap();
|
2023-11-30 14:24:58 -07:00
|
|
|
|
2023-12-19 12:07:45 -07:00
|
|
|
let pixels = unsafe {
|
2023-10-11 18:54:29 -06:00
|
|
|
std::slice::from_raw_parts_mut(
|
2023-12-19 12:07:45 -07:00
|
|
|
pixels_u8.as_mut_ptr() as *mut u32,
|
|
|
|
|
pixels_u8.len() / 4,
|
2023-10-11 18:54:29 -06:00
|
|
|
)
|
|
|
|
|
};
|
|
|
|
|
|
2023-11-30 15:17:53 -07:00
|
|
|
if self.line_numbers {
|
|
|
|
|
let (gutter, gutter_foreground) = {
|
|
|
|
|
let convert_color = |color: syntect::highlighting::Color| {
|
|
|
|
|
cosmic_text::Color::rgba(color.r, color.g, color.b, color.a)
|
|
|
|
|
};
|
|
|
|
|
let syntax_theme = editor.theme();
|
|
|
|
|
let gutter = syntax_theme
|
|
|
|
|
.settings
|
|
|
|
|
.gutter
|
|
|
|
|
.map_or(editor.background_color(), convert_color);
|
|
|
|
|
let gutter_foreground = syntax_theme
|
|
|
|
|
.settings
|
|
|
|
|
.gutter_foreground
|
|
|
|
|
.map_or(editor.foreground_color(), convert_color);
|
|
|
|
|
(gutter, gutter_foreground)
|
2023-11-30 14:24:58 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
// Ensure fill with gutter color
|
2023-11-30 15:17:53 -07:00
|
|
|
draw_rect(
|
2023-12-19 12:07:45 -07:00
|
|
|
pixels,
|
2023-12-25 14:58:29 -05:00
|
|
|
Canvas {
|
|
|
|
|
w: image_w,
|
|
|
|
|
h: image_h,
|
|
|
|
|
},
|
|
|
|
|
Canvas {
|
|
|
|
|
w: editor_offset_x,
|
|
|
|
|
h: image_h,
|
|
|
|
|
},
|
|
|
|
|
Offset { x: 0, y: 0 },
|
2023-11-30 15:17:53 -07:00
|
|
|
gutter,
|
|
|
|
|
);
|
2023-11-30 14:24:58 -07:00
|
|
|
|
|
|
|
|
// Draw line numbers
|
|
|
|
|
//TODO: move to cosmic-text?
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.with_buffer(|buffer| {
|
2024-01-18 00:25:22 -05:00
|
|
|
let mut line_number_cache =
|
|
|
|
|
LINE_NUMBER_CACHE.get().unwrap().lock().unwrap();
|
2023-11-30 15:20:39 -07:00
|
|
|
let mut last_line_number = 0;
|
2023-12-19 12:07:45 -07:00
|
|
|
for run in buffer.layout_runs() {
|
2023-11-30 14:24:58 -07:00
|
|
|
let line_number = run.line_i.saturating_add(1);
|
2023-11-30 15:20:39 -07:00
|
|
|
if line_number == last_line_number {
|
|
|
|
|
// Skip duplicate lines
|
|
|
|
|
continue;
|
|
|
|
|
} else {
|
|
|
|
|
last_line_number = line_number;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if let Some(layout_line) = line_number_cache
|
|
|
|
|
.get(
|
2024-02-15 15:23:41 -07:00
|
|
|
font_system.raw(),
|
2023-11-30 15:20:39 -07:00
|
|
|
LineNumberKey {
|
|
|
|
|
number: line_number,
|
|
|
|
|
width: line_number_chars,
|
|
|
|
|
},
|
|
|
|
|
)
|
|
|
|
|
.first()
|
|
|
|
|
{
|
2023-11-30 14:24:58 -07:00
|
|
|
// These values must be scaled since layout is done at font size 1.0
|
2023-12-01 14:10:12 -07:00
|
|
|
let max_ascent = layout_line.max_ascent * metrics.font_size;
|
|
|
|
|
let max_descent = layout_line.max_descent * metrics.font_size;
|
2023-11-30 14:24:58 -07:00
|
|
|
|
|
|
|
|
// This code comes from cosmic_text::LayoutRunIter
|
|
|
|
|
let glyph_height = max_ascent + max_descent;
|
2023-12-05 10:38:24 -07:00
|
|
|
let centering_offset = (metrics.line_height - glyph_height) / 2.0;
|
2023-11-30 15:20:39 -07:00
|
|
|
let line_y = run.line_top + centering_offset + max_ascent;
|
2023-11-30 14:24:58 -07:00
|
|
|
|
|
|
|
|
for layout_glyph in layout_line.glyphs.iter() {
|
|
|
|
|
let physical_glyph =
|
2023-12-01 14:10:12 -07:00
|
|
|
layout_glyph.physical((0., line_y), metrics.font_size);
|
2023-11-30 14:24:58 -07:00
|
|
|
|
|
|
|
|
swash_cache.with_pixels(
|
2024-02-15 15:23:41 -07:00
|
|
|
font_system.raw(),
|
2023-11-30 14:24:58 -07:00
|
|
|
physical_glyph.cache_key,
|
|
|
|
|
gutter_foreground,
|
|
|
|
|
|x, y, color| {
|
|
|
|
|
draw_rect(
|
2023-12-19 12:07:45 -07:00
|
|
|
pixels,
|
2023-12-25 14:58:29 -05:00
|
|
|
Canvas {
|
|
|
|
|
w: image_w,
|
|
|
|
|
h: image_h,
|
|
|
|
|
},
|
|
|
|
|
Canvas { w: 1, h: 1 },
|
|
|
|
|
Offset {
|
|
|
|
|
x: physical_glyph.x + x,
|
|
|
|
|
y: physical_glyph.y + y,
|
|
|
|
|
},
|
2023-11-30 14:24:58 -07:00
|
|
|
color,
|
|
|
|
|
);
|
|
|
|
|
},
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2023-12-19 12:07:45 -07:00
|
|
|
});
|
2023-11-30 15:17:53 -07:00
|
|
|
}
|
2023-11-30 14:24:58 -07:00
|
|
|
|
2024-02-20 09:45:19 -07:00
|
|
|
if self.highlight_current_line {
|
|
|
|
|
let line_highlight = {
|
|
|
|
|
let convert_color = |color: syntect::highlighting::Color| {
|
|
|
|
|
cosmic_text::Color::rgba(color.r, color.g, color.b, color.a)
|
|
|
|
|
};
|
|
|
|
|
let syntax_theme = editor.theme();
|
|
|
|
|
//TODO: ideal fallback for line highlight color
|
|
|
|
|
syntax_theme
|
|
|
|
|
.settings
|
|
|
|
|
.line_highlight
|
|
|
|
|
.map_or(editor.background_color(), convert_color)
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
let cursor = editor.cursor();
|
|
|
|
|
editor.with_buffer(|buffer| {
|
|
|
|
|
for run in buffer.layout_runs() {
|
|
|
|
|
if run.line_i != cursor.line {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
draw_rect(
|
|
|
|
|
pixels,
|
|
|
|
|
Canvas {
|
|
|
|
|
w: image_w,
|
|
|
|
|
h: image_h,
|
|
|
|
|
},
|
|
|
|
|
Canvas {
|
|
|
|
|
w: image_w - editor_offset_x,
|
|
|
|
|
h: metrics.line_height as i32,
|
|
|
|
|
},
|
|
|
|
|
Offset {
|
|
|
|
|
x: editor_offset_x,
|
|
|
|
|
y: run.line_top as i32,
|
|
|
|
|
},
|
|
|
|
|
line_highlight,
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
2023-11-30 14:24:58 -07:00
|
|
|
// Draw editor
|
2024-05-30 15:09:57 -06:00
|
|
|
let scroll_x = editor.with_buffer(|buffer| buffer.scroll().horizontal as i32);
|
2024-02-15 15:23:41 -07:00
|
|
|
editor.draw(font_system.raw(), &mut swash_cache, |x, y, w, h, color| {
|
2024-05-30 15:09:57 -06:00
|
|
|
if x < scroll_x {
|
|
|
|
|
//TODO: modify width?
|
|
|
|
|
return;
|
|
|
|
|
}
|
2023-12-15 15:08:39 -07:00
|
|
|
draw_rect(
|
2023-12-19 12:07:45 -07:00
|
|
|
pixels,
|
2023-12-25 14:58:29 -05:00
|
|
|
Canvas {
|
|
|
|
|
w: image_w,
|
|
|
|
|
h: image_h,
|
|
|
|
|
},
|
|
|
|
|
Canvas {
|
|
|
|
|
w: w as i32,
|
|
|
|
|
h: h as i32,
|
|
|
|
|
},
|
|
|
|
|
Offset {
|
2024-05-30 15:09:57 -06:00
|
|
|
x: editor_offset_x + x - scroll_x,
|
2023-12-25 14:58:29 -05:00
|
|
|
y,
|
|
|
|
|
},
|
2023-12-15 15:08:39 -07:00
|
|
|
color,
|
|
|
|
|
);
|
|
|
|
|
});
|
2023-10-31 09:34:34 -06:00
|
|
|
|
2023-11-10 11:20:55 -07:00
|
|
|
// Calculate scrollbar
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.with_buffer(|buffer| {
|
2023-10-31 09:34:34 -06:00
|
|
|
let mut start_line_opt = None;
|
|
|
|
|
let mut end_line = 0;
|
2024-05-30 15:36:53 -06:00
|
|
|
let mut max_line_width = 0.0;
|
2023-12-19 12:07:45 -07:00
|
|
|
for run in buffer.layout_runs() {
|
2023-10-31 09:34:34 -06:00
|
|
|
end_line = run.line_i;
|
|
|
|
|
if start_line_opt.is_none() {
|
|
|
|
|
start_line_opt = Some(end_line);
|
|
|
|
|
}
|
2024-05-30 15:36:53 -06:00
|
|
|
if run.line_w > max_line_width {
|
|
|
|
|
max_line_width = run.line_w;
|
|
|
|
|
}
|
2023-10-31 09:34:34 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let start_line = start_line_opt.unwrap_or(end_line);
|
2023-12-19 12:07:45 -07:00
|
|
|
let lines = buffer.lines.len();
|
2023-10-31 09:34:34 -06:00
|
|
|
let start_y = (start_line * image_h as usize) / lines;
|
2023-11-17 08:31:43 -07:00
|
|
|
let end_y = ((end_line + 1) * image_h as usize) / lines;
|
2023-11-10 11:20:55 -07:00
|
|
|
|
|
|
|
|
let rect = Rectangle::new(
|
|
|
|
|
[image_w as f32 / scale_factor, start_y as f32 / scale_factor].into(),
|
|
|
|
|
Size::new(
|
2024-03-14 20:39:28 -06:00
|
|
|
scrollbar_w as f32,
|
2023-11-10 11:20:55 -07:00
|
|
|
(end_y as f32 - start_y as f32) / scale_factor,
|
|
|
|
|
),
|
2023-11-02 10:02:07 -06:00
|
|
|
);
|
2024-05-30 15:36:53 -06:00
|
|
|
state.scrollbar_v_rect.set(rect);
|
|
|
|
|
|
2024-06-12 09:45:12 -06:00
|
|
|
let (buffer_w_opt, buffer_h_opt) = buffer.size();
|
|
|
|
|
let buffer_w = buffer_w_opt.unwrap_or(0.0);
|
|
|
|
|
let buffer_h = buffer_h_opt.unwrap_or(0.0);
|
2024-05-30 15:52:53 -06:00
|
|
|
let scrollbar_h_width = image_w as f32 / scale_factor - scrollbar_w as f32;
|
|
|
|
|
if buffer_w < max_line_width {
|
2024-05-30 15:36:53 -06:00
|
|
|
let rect = Rectangle::new(
|
|
|
|
|
[
|
2024-05-30 15:52:53 -06:00
|
|
|
(buffer.scroll().horizontal / max_line_width) * scrollbar_h_width,
|
|
|
|
|
buffer_h / scale_factor - scrollbar_w as f32,
|
2024-05-30 15:36:53 -06:00
|
|
|
]
|
|
|
|
|
.into(),
|
|
|
|
|
Size::new(
|
2024-05-30 15:52:53 -06:00
|
|
|
(buffer_w / max_line_width) * scrollbar_h_width,
|
2024-05-30 15:36:53 -06:00
|
|
|
scrollbar_w as f32,
|
|
|
|
|
),
|
|
|
|
|
);
|
|
|
|
|
state.scrollbar_h_rect.set(Some(rect));
|
|
|
|
|
} else {
|
|
|
|
|
state.scrollbar_h_rect.set(None);
|
|
|
|
|
}
|
2023-12-19 12:07:45 -07:00
|
|
|
});
|
2023-10-11 18:54:29 -06:00
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2023-10-11 18:54:29 -06:00
|
|
|
// Clear redraw flag
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.set_redraw(false);
|
2023-10-11 18:54:29 -06:00
|
|
|
|
2023-10-31 20:41:52 -06:00
|
|
|
state.scale_factor.set(scale_factor);
|
2024-10-22 11:55:58 -06:00
|
|
|
*handle_opt = Some(image::Handle::from_rgba(
|
2023-11-21 09:37:03 -07:00
|
|
|
image_w as u32,
|
|
|
|
|
image_h as u32,
|
2023-12-19 12:07:45 -07:00
|
|
|
pixels_u8,
|
2023-11-21 09:37:03 -07:00
|
|
|
));
|
2023-10-11 18:54:29 -06:00
|
|
|
}
|
2023-03-24 07:55:07 -06:00
|
|
|
|
2023-12-25 13:06:02 -05:00
|
|
|
let image_position = layout.position() + [self.padding.left, self.padding.top].into();
|
2023-11-21 09:37:03 -07:00
|
|
|
if let Some(ref handle) = *handle_opt {
|
2024-10-22 11:55:58 -06:00
|
|
|
let image_size = image::Renderer::measure_image(renderer, handle);
|
2024-03-14 20:39:28 -06:00
|
|
|
let scaled_size = Size::new(scaled_w as f32, scaled_h as f32);
|
|
|
|
|
log::debug!(
|
|
|
|
|
"text_box image {:?} scaled {:?} position {:?}",
|
2024-03-14 20:41:59 -06:00
|
|
|
image_size,
|
|
|
|
|
scaled_size,
|
|
|
|
|
image_position
|
2024-03-14 20:39:28 -06:00
|
|
|
);
|
2024-10-22 11:55:58 -06:00
|
|
|
image::Renderer::draw_image(
|
2023-11-21 09:37:03 -07:00
|
|
|
renderer,
|
|
|
|
|
handle.clone(),
|
2023-12-05 10:38:24 -07:00
|
|
|
image::FilterMethod::Nearest,
|
2024-03-14 20:39:28 -06:00
|
|
|
Rectangle::new(image_position, scaled_size),
|
2024-10-22 11:55:58 -06:00
|
|
|
Radians(0.0),
|
|
|
|
|
1.0,
|
2023-11-21 09:37:03 -07:00
|
|
|
[0.0; 4],
|
|
|
|
|
);
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2024-05-30 15:36:53 -06:00
|
|
|
// Draw vertical scrollbar
|
2024-01-11 11:46:19 -07:00
|
|
|
{
|
2024-05-30 15:36:53 -06:00
|
|
|
let scrollbar_v_rect = state.scrollbar_v_rect.get();
|
2024-01-11 11:46:19 -07:00
|
|
|
|
|
|
|
|
// neutral_3, 0.7
|
|
|
|
|
let track_color = cosmic_theme
|
|
|
|
|
.palette
|
|
|
|
|
.neutral_3
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.7);
|
|
|
|
|
|
|
|
|
|
// Draw track quad
|
|
|
|
|
renderer.fill_quad(
|
|
|
|
|
Quad {
|
|
|
|
|
bounds: Rectangle::new(
|
2024-05-30 15:36:53 -06:00
|
|
|
Point::new(image_position.x + scrollbar_v_rect.x, image_position.y),
|
|
|
|
|
Size::new(scrollbar_v_rect.width, layout.bounds().height),
|
2024-01-11 11:46:19 -07:00
|
|
|
),
|
2024-02-05 16:18:36 -05:00
|
|
|
border: Border {
|
2024-05-30 15:36:53 -06:00
|
|
|
radius: (scrollbar_v_rect.width / 2.0).into(),
|
2024-02-05 16:18:36 -05:00
|
|
|
width: 0.0,
|
|
|
|
|
color: Color::TRANSPARENT,
|
|
|
|
|
},
|
|
|
|
|
..Default::default()
|
2024-01-11 11:46:19 -07:00
|
|
|
},
|
|
|
|
|
Color::from(track_color),
|
|
|
|
|
);
|
|
|
|
|
|
2024-05-30 15:36:53 -06:00
|
|
|
let pressed = matches!(&state.dragging, Some(Dragging::ScrollbarV { .. }));
|
2024-01-11 11:46:19 -07:00
|
|
|
|
|
|
|
|
let mut hover = false;
|
|
|
|
|
if let Some(p) = cursor_position.position_in(layout.bounds()) {
|
|
|
|
|
let x = p.x - self.padding.left;
|
2024-05-30 15:36:53 -06:00
|
|
|
if x >= scrollbar_v_rect.x && x < (scrollbar_v_rect.x + scrollbar_v_rect.width) {
|
2024-01-11 11:46:19 -07:00
|
|
|
hover = true;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let mut scrollbar_draw =
|
2024-05-30 15:36:53 -06:00
|
|
|
scrollbar_v_rect + Vector::new(image_position.x, image_position.y);
|
2024-01-11 11:46:19 -07:00
|
|
|
if !hover && !pressed {
|
|
|
|
|
// Decrease draw width and keep centered when not hovered or pressed
|
|
|
|
|
scrollbar_draw.width /= 2.0;
|
|
|
|
|
scrollbar_draw.x += scrollbar_draw.width / 2.0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// neutral_6, 0.7
|
|
|
|
|
let base_color = cosmic_theme
|
|
|
|
|
.palette
|
|
|
|
|
.neutral_6
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.7);
|
|
|
|
|
let scrollbar_color = if pressed {
|
|
|
|
|
// pressed_state_color, 0.5
|
|
|
|
|
cosmic_theme
|
|
|
|
|
.background
|
|
|
|
|
.component
|
|
|
|
|
.pressed
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.5)
|
|
|
|
|
.over(base_color)
|
|
|
|
|
} else if hover {
|
|
|
|
|
// hover_state_color, 0.2
|
|
|
|
|
cosmic_theme
|
|
|
|
|
.background
|
|
|
|
|
.component
|
|
|
|
|
.hover
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.2)
|
|
|
|
|
.over(base_color)
|
|
|
|
|
} else {
|
|
|
|
|
base_color
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
// Draw scrollbar quad
|
|
|
|
|
renderer.fill_quad(
|
|
|
|
|
Quad {
|
|
|
|
|
bounds: scrollbar_draw,
|
2024-02-05 16:18:36 -05:00
|
|
|
border: Border {
|
|
|
|
|
radius: (scrollbar_draw.width / 2.0).into(),
|
|
|
|
|
width: 0.0,
|
|
|
|
|
color: Color::TRANSPARENT,
|
|
|
|
|
},
|
|
|
|
|
..Default::default()
|
2024-01-11 11:46:19 -07:00
|
|
|
},
|
|
|
|
|
Color::from(scrollbar_color),
|
|
|
|
|
);
|
|
|
|
|
}
|
2023-11-10 11:20:55 -07:00
|
|
|
|
2024-05-30 15:36:53 -06:00
|
|
|
// Draw horizontal scrollbar
|
|
|
|
|
//TODO: reduce repitition
|
|
|
|
|
if let Some(scrollbar_h_rect) = state.scrollbar_h_rect.get() {
|
2024-05-30 15:52:53 -06:00
|
|
|
/*TODO: horizontal scrollbar track?
|
2024-05-30 15:36:53 -06:00
|
|
|
// neutral_3, 0.7
|
|
|
|
|
let track_color = cosmic_theme
|
|
|
|
|
.palette
|
|
|
|
|
.neutral_3
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.7);
|
|
|
|
|
|
|
|
|
|
// Draw track quad
|
|
|
|
|
renderer.fill_quad(
|
|
|
|
|
Quad {
|
|
|
|
|
bounds: Rectangle::new(
|
|
|
|
|
Point::new(image_position.x, image_position.y + scrollbar_h_rect.y),
|
2024-05-30 15:52:53 -06:00
|
|
|
Size::new(
|
|
|
|
|
layout.bounds().width - scrollbar_w as f32,
|
|
|
|
|
scrollbar_h_rect.height,
|
|
|
|
|
),
|
2024-05-30 15:36:53 -06:00
|
|
|
),
|
|
|
|
|
border: Border {
|
|
|
|
|
radius: (scrollbar_h_rect.height / 2.0).into(),
|
|
|
|
|
width: 0.0,
|
|
|
|
|
color: Color::TRANSPARENT,
|
|
|
|
|
},
|
|
|
|
|
..Default::default()
|
|
|
|
|
},
|
|
|
|
|
Color::from(track_color),
|
|
|
|
|
);
|
2024-05-30 15:52:53 -06:00
|
|
|
*/
|
2024-05-30 15:36:53 -06:00
|
|
|
|
|
|
|
|
let pressed = matches!(&state.dragging, Some(Dragging::ScrollbarH { .. }));
|
|
|
|
|
|
|
|
|
|
let mut hover = false;
|
|
|
|
|
if let Some(p) = cursor_position.position_in(layout.bounds()) {
|
|
|
|
|
let y = p.y - self.padding.top;
|
|
|
|
|
if y >= scrollbar_h_rect.y && y < (scrollbar_h_rect.y + scrollbar_h_rect.height) {
|
|
|
|
|
hover = true;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let mut scrollbar_draw =
|
|
|
|
|
scrollbar_h_rect + Vector::new(image_position.x, image_position.y);
|
|
|
|
|
if !hover && !pressed {
|
|
|
|
|
// Decrease draw width and keep centered when not hovered or pressed
|
|
|
|
|
scrollbar_draw.height /= 2.0;
|
|
|
|
|
scrollbar_draw.y += scrollbar_draw.height / 2.0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// neutral_6, 0.7
|
|
|
|
|
let base_color = cosmic_theme
|
|
|
|
|
.palette
|
|
|
|
|
.neutral_6
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.7);
|
|
|
|
|
let scrollbar_color = if pressed {
|
|
|
|
|
// pressed_state_color, 0.5
|
|
|
|
|
cosmic_theme
|
|
|
|
|
.background
|
|
|
|
|
.component
|
|
|
|
|
.pressed
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.5)
|
|
|
|
|
.over(base_color)
|
|
|
|
|
} else if hover {
|
|
|
|
|
// hover_state_color, 0.2
|
|
|
|
|
cosmic_theme
|
|
|
|
|
.background
|
|
|
|
|
.component
|
|
|
|
|
.hover
|
|
|
|
|
.without_alpha()
|
|
|
|
|
.with_alpha(0.2)
|
|
|
|
|
.over(base_color)
|
|
|
|
|
} else {
|
|
|
|
|
base_color
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
// Draw scrollbar quad
|
|
|
|
|
renderer.fill_quad(
|
|
|
|
|
Quad {
|
|
|
|
|
bounds: scrollbar_draw,
|
|
|
|
|
border: Border {
|
|
|
|
|
radius: (scrollbar_draw.height / 2.0).into(),
|
|
|
|
|
width: 0.0,
|
|
|
|
|
color: Color::TRANSPARENT,
|
|
|
|
|
},
|
|
|
|
|
..Default::default()
|
|
|
|
|
},
|
|
|
|
|
Color::from(scrollbar_color),
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
let duration = instant.elapsed();
|
|
|
|
|
log::debug!("redraw {}, {}: {:?}", view_w, view_h, duration);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn on_event(
|
|
|
|
|
&mut self,
|
|
|
|
|
tree: &mut widget::Tree,
|
|
|
|
|
event: Event,
|
|
|
|
|
layout: Layout<'_>,
|
2023-08-18 09:39:37 -06:00
|
|
|
cursor_position: mouse::Cursor,
|
2023-02-07 13:00:49 -07:00
|
|
|
_renderer: &Renderer,
|
|
|
|
|
_clipboard: &mut dyn Clipboard,
|
2023-11-13 14:47:17 -07:00
|
|
|
shell: &mut Shell<'_, Message>,
|
2023-10-11 14:15:46 -06:00
|
|
|
_viewport: &Rectangle<f32>,
|
2023-02-07 13:00:49 -07:00
|
|
|
) -> Status {
|
|
|
|
|
let state = tree.state.downcast_mut::<State>();
|
2023-11-30 14:52:29 -07:00
|
|
|
let editor_offset_x = state.editor_offset_x.get();
|
2023-11-10 11:20:55 -07:00
|
|
|
let scale_factor = state.scale_factor.get();
|
2024-05-30 15:36:53 -06:00
|
|
|
let scrollbar_v_rect = state.scrollbar_v_rect.get();
|
2023-02-07 13:00:49 -07:00
|
|
|
let mut editor = self.editor.lock().unwrap();
|
2024-05-30 15:36:53 -06:00
|
|
|
let (buffer_size, buffer_scroll) =
|
|
|
|
|
editor.with_buffer(|buffer| (buffer.size(), buffer.scroll()));
|
2023-11-13 14:47:17 -07:00
|
|
|
let last_changed = editor.changed();
|
2024-10-22 11:55:58 -06:00
|
|
|
//TODO: better handling of status line update
|
|
|
|
|
let (last_parser_mode, last_parser_cmd) = {
|
|
|
|
|
let parser = editor.parser();
|
|
|
|
|
(parser.mode.clone(), parser.cmd)
|
|
|
|
|
};
|
2024-02-15 15:23:41 -07:00
|
|
|
let mut font_system = font_system().write().unwrap();
|
|
|
|
|
let mut editor = editor.borrow_with(font_system.raw());
|
2023-02-07 13:00:49 -07:00
|
|
|
|
2024-03-18 08:58:45 -06:00
|
|
|
// Adjust motions based on Ctrl and Shift
|
|
|
|
|
fn motion_modifiers(
|
|
|
|
|
editor: &mut BorrowedWithFontSystem<'_, ViEditor<'static, 'static>>,
|
|
|
|
|
original_motion: Motion,
|
|
|
|
|
modifiers: Modifiers,
|
|
|
|
|
) {
|
|
|
|
|
let motion = if modifiers.control() {
|
|
|
|
|
match original_motion {
|
|
|
|
|
Motion::Left => Motion::LeftWord,
|
|
|
|
|
Motion::Right => Motion::RightWord,
|
|
|
|
|
Motion::Home => Motion::BufferStart,
|
|
|
|
|
Motion::End => Motion::BufferEnd,
|
|
|
|
|
_ => original_motion,
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
original_motion
|
|
|
|
|
};
|
|
|
|
|
let cursor = editor.cursor();
|
|
|
|
|
match editor.selection() {
|
|
|
|
|
Selection::None => {
|
|
|
|
|
if modifiers.shift() {
|
|
|
|
|
//TODO: Selection::Word if ctrl held?
|
|
|
|
|
editor.set_selection(Selection::Normal(cursor));
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
_ => {
|
|
|
|
|
if !modifiers.shift() {
|
|
|
|
|
editor.set_selection(Selection::None)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
editor.action(Action::Motion(motion));
|
|
|
|
|
}
|
|
|
|
|
|
2025-05-12 15:12:48 +01:00
|
|
|
// Pre-select word for CTRL+<backspace> and CTRL+<delete>
|
|
|
|
|
fn delete_modifiers(
|
|
|
|
|
editor: &mut BorrowedWithFontSystem<'_, ViEditor<'static, 'static>>,
|
|
|
|
|
motion_to_apply: Motion,
|
|
|
|
|
modifiers: Modifiers,
|
|
|
|
|
) {
|
|
|
|
|
if modifiers.control() && editor.selection() == Selection::None {
|
|
|
|
|
let cursor = editor.cursor();
|
|
|
|
|
editor.set_selection(Selection::Normal(cursor));
|
|
|
|
|
editor.action(Action::Motion(motion_to_apply));
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
let mut status = Status::Ignored;
|
|
|
|
|
match event {
|
|
|
|
|
Event::Keyboard(KeyEvent::KeyPressed {
|
2025-09-16 08:57:37 -06:00
|
|
|
modified_key: Key::Named(key),
|
2023-02-07 13:00:49 -07:00
|
|
|
modifiers,
|
2024-02-05 16:18:36 -05:00
|
|
|
..
|
2024-02-12 23:17:12 -05:00
|
|
|
}) if state.is_focused && !matches!(key, Named::Space) => match key {
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::ArrowLeft => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::Left, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::ArrowRight => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::Right, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::ArrowUp => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::Up, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::ArrowDown => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::Down, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::Home => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::Home, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::End => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::End, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::PageUp => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::PageUp, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::PageDown => {
|
2024-03-18 08:58:45 -06:00
|
|
|
motion_modifiers(&mut editor, Motion::PageDown, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::Escape => {
|
2024-01-14 00:16:15 -05:00
|
|
|
editor.action(Action::Escape);
|
|
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::Enter => {
|
2024-01-14 00:16:15 -05:00
|
|
|
editor.action(Action::Enter);
|
|
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::Backspace => {
|
2025-05-12 15:12:48 +01:00
|
|
|
delete_modifiers(&mut editor, Motion::LeftWord, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
editor.action(Action::Backspace);
|
|
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::Delete => {
|
2025-05-12 15:12:48 +01:00
|
|
|
delete_modifiers(&mut editor, Motion::RightWord, modifiers);
|
2024-01-14 00:16:15 -05:00
|
|
|
editor.action(Action::Delete);
|
|
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2024-02-05 16:18:36 -05:00
|
|
|
Named::Tab => {
|
2025-05-08 02:34:58 +01:00
|
|
|
if !modifiers.control() && !modifiers.alt() {
|
2025-01-17 09:49:30 -07:00
|
|
|
if modifiers.shift() {
|
|
|
|
|
editor.action(Action::Unindent);
|
|
|
|
|
} else {
|
|
|
|
|
editor.action(Action::Indent);
|
|
|
|
|
}
|
|
|
|
|
status = Status::Captured;
|
2023-11-01 13:33:10 -06:00
|
|
|
}
|
2024-01-14 00:16:15 -05:00
|
|
|
}
|
|
|
|
|
_ => (),
|
|
|
|
|
},
|
2024-02-12 23:17:12 -05:00
|
|
|
Event::Keyboard(KeyEvent::KeyPressed { text, .. }) if state.is_focused => {
|
|
|
|
|
let character = text.unwrap_or_default().chars().next().unwrap_or_default();
|
2024-01-14 00:16:15 -05:00
|
|
|
// Only parse keys when Super, Ctrl, and Alt are not pressed
|
|
|
|
|
if !state.modifiers.logo() && !state.modifiers.control() && !state.modifiers.alt() {
|
|
|
|
|
if !character.is_control() {
|
|
|
|
|
editor.action(Action::Insert(character));
|
2023-10-20 13:12:26 -06:00
|
|
|
}
|
2024-01-14 00:16:15 -05:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
2025-09-16 08:57:37 -06:00
|
|
|
Event::Keyboard(KeyEvent::ModifiersChanged(modifiers)) => {
|
|
|
|
|
state.modifiers = modifiers;
|
|
|
|
|
}
|
2023-11-20 11:26:26 -07:00
|
|
|
Event::Mouse(MouseEvent::ButtonPressed(button)) => {
|
2023-08-18 09:39:37 -06:00
|
|
|
if let Some(p) = cursor_position.position_in(layout.bounds()) {
|
2024-01-09 12:40:29 -07:00
|
|
|
state.is_focused = true;
|
|
|
|
|
|
2023-11-20 11:26:26 -07:00
|
|
|
// Handle left click drag
|
|
|
|
|
if let Button::Left = button {
|
|
|
|
|
let x_logical = p.x - self.padding.left;
|
|
|
|
|
let y_logical = p.y - self.padding.top;
|
2024-05-30 15:36:53 -06:00
|
|
|
let mut x = x_logical * scale_factor - editor_offset_x as f32;
|
2023-11-20 11:26:26 -07:00
|
|
|
let y = y_logical * scale_factor;
|
2024-05-31 08:14:36 -06:00
|
|
|
|
|
|
|
|
// Do this first as the horizontal scrollbar is on top of the buffer
|
|
|
|
|
if let Some(scrollbar_h_rect) = state.scrollbar_h_rect.get() {
|
|
|
|
|
if scrollbar_h_rect.contains(Point::new(x_logical, y_logical)) {
|
2024-05-31 08:29:30 -06:00
|
|
|
state.dragging = Some(Dragging::ScrollbarH { start_x: x });
|
2024-05-31 08:14:36 -06:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if matches!(state.dragging, Some(Dragging::ScrollbarH { .. })) {
|
|
|
|
|
// The horizontal scrollbar is on top of the buffer,
|
|
|
|
|
// so we need to ignore clicks when it is being dragged
|
2024-06-12 09:45:12 -06:00
|
|
|
} else if x >= 0.0
|
|
|
|
|
&& x < buffer_size.0.unwrap_or(0.0)
|
|
|
|
|
&& y >= 0.0
|
|
|
|
|
&& y < buffer_size.1.unwrap_or(0.0)
|
|
|
|
|
{
|
2024-05-30 15:36:53 -06:00
|
|
|
x += buffer_scroll.horizontal;
|
2023-12-12 10:30:23 -07:00
|
|
|
let click_kind =
|
|
|
|
|
if let Some((click_kind, click_time)) = state.click.take() {
|
|
|
|
|
if click_time.elapsed() < self.click_timing {
|
|
|
|
|
match click_kind {
|
|
|
|
|
ClickKind::Single => ClickKind::Double,
|
|
|
|
|
ClickKind::Double => ClickKind::Triple,
|
|
|
|
|
ClickKind::Triple => ClickKind::Single,
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
ClickKind::Single
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
ClickKind::Single
|
|
|
|
|
};
|
|
|
|
|
match click_kind {
|
|
|
|
|
ClickKind::Single => editor.action(Action::Click {
|
|
|
|
|
x: x as i32,
|
|
|
|
|
y: y as i32,
|
|
|
|
|
}),
|
|
|
|
|
ClickKind::Double => editor.action(Action::DoubleClick {
|
|
|
|
|
x: x as i32,
|
|
|
|
|
y: y as i32,
|
|
|
|
|
}),
|
|
|
|
|
ClickKind::Triple => editor.action(Action::TripleClick {
|
|
|
|
|
x: x as i32,
|
|
|
|
|
y: y as i32,
|
|
|
|
|
}),
|
|
|
|
|
}
|
|
|
|
|
state.click = Some((click_kind, Instant::now()));
|
2023-11-20 11:26:26 -07:00
|
|
|
state.dragging = Some(Dragging::Buffer);
|
2024-05-30 15:36:53 -06:00
|
|
|
} else if scrollbar_v_rect.contains(Point::new(x_logical, y_logical)) {
|
|
|
|
|
state.dragging = Some(Dragging::ScrollbarV {
|
2023-11-20 11:26:26 -07:00
|
|
|
start_y: y,
|
2023-12-19 12:07:45 -07:00
|
|
|
start_scroll: editor.with_buffer(|buffer| buffer.scroll()),
|
2023-11-20 11:26:26 -07:00
|
|
|
});
|
2024-05-30 15:36:53 -06:00
|
|
|
} else if x_logical >= scrollbar_v_rect.x
|
|
|
|
|
&& x_logical < (scrollbar_v_rect.x + scrollbar_v_rect.width)
|
2023-11-20 11:26:26 -07:00
|
|
|
{
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.with_buffer_mut(|buffer| {
|
2024-05-30 15:09:57 -06:00
|
|
|
let mut scroll = buffer.scroll();
|
2024-06-12 09:45:12 -06:00
|
|
|
//TODO: if buffer height is undefined, what should this do?
|
|
|
|
|
let scroll_line = ((y / buffer.size().1.unwrap_or(1.0))
|
|
|
|
|
* buffer.lines.len() as f32)
|
|
|
|
|
as i32;
|
2024-05-30 15:09:57 -06:00
|
|
|
scroll.line = scroll_line.try_into().unwrap_or_default();
|
|
|
|
|
buffer.set_scroll(scroll);
|
2024-05-30 15:36:53 -06:00
|
|
|
state.dragging = Some(Dragging::ScrollbarV {
|
2023-12-19 12:07:45 -07:00
|
|
|
start_y: y,
|
|
|
|
|
start_scroll: buffer.scroll(),
|
|
|
|
|
});
|
2023-11-20 11:26:26 -07:00
|
|
|
});
|
|
|
|
|
}
|
2023-11-10 11:20:55 -07:00
|
|
|
}
|
2023-11-20 11:26:26 -07:00
|
|
|
|
|
|
|
|
// Update context menu state
|
|
|
|
|
if let Some(on_context_menu) = &self.on_context_menu {
|
2024-01-09 12:40:29 -07:00
|
|
|
shell.publish((on_context_menu)(if self.has_context_menu {
|
|
|
|
|
None
|
|
|
|
|
} else {
|
|
|
|
|
match button {
|
2023-11-20 11:26:26 -07:00
|
|
|
Button::Right => Some(p),
|
|
|
|
|
_ => None,
|
2024-01-09 12:40:29 -07:00
|
|
|
}
|
2023-11-20 11:26:26 -07:00
|
|
|
}));
|
|
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
status = Status::Captured;
|
2024-12-22 13:56:49 +07:00
|
|
|
} else {
|
|
|
|
|
state.is_focused = false;
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
Event::Mouse(MouseEvent::ButtonReleased(Button::Left)) => {
|
2023-11-10 11:20:55 -07:00
|
|
|
state.dragging = None;
|
2023-02-07 13:00:49 -07:00
|
|
|
status = Status::Captured;
|
2025-02-05 15:28:38 -07:00
|
|
|
if let Some(on_auto_scroll) = &self.on_auto_scroll {
|
|
|
|
|
shell.publish(on_auto_scroll(None));
|
|
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
Event::Mouse(MouseEvent::CursorMoved { .. }) => {
|
2023-11-10 11:20:55 -07:00
|
|
|
if let Some(dragging) = &state.dragging {
|
2023-08-18 09:39:37 -06:00
|
|
|
if let Some(p) = cursor_position.position() {
|
2023-11-30 14:44:14 -07:00
|
|
|
let x_logical = (p.x - layout.bounds().x) - self.padding.left;
|
|
|
|
|
let y_logical = (p.y - layout.bounds().y) - self.padding.top;
|
2024-05-30 15:36:53 -06:00
|
|
|
let mut x = x_logical * scale_factor - editor_offset_x as f32;
|
2023-11-30 14:44:14 -07:00
|
|
|
let y = y_logical * scale_factor;
|
2023-11-10 11:20:55 -07:00
|
|
|
match dragging {
|
|
|
|
|
Dragging::Buffer => {
|
2024-05-30 15:36:53 -06:00
|
|
|
x += buffer_scroll.horizontal;
|
2023-11-10 11:20:55 -07:00
|
|
|
editor.action(Action::Drag {
|
|
|
|
|
x: x as i32,
|
|
|
|
|
y: y as i32,
|
|
|
|
|
});
|
2025-02-05 15:28:38 -07:00
|
|
|
let auto_scroll = editor.with_buffer(|buffer| {
|
|
|
|
|
//TODO: ideal auto scroll speed
|
|
|
|
|
let speed = 10.0;
|
|
|
|
|
if y < 0.0 {
|
|
|
|
|
Some(y * speed)
|
|
|
|
|
} else if y > buffer.size().1.unwrap_or(0.0) {
|
|
|
|
|
Some((y - buffer.size().1.unwrap_or(0.0)) * speed)
|
|
|
|
|
} else {
|
|
|
|
|
None
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
if let Some(on_auto_scroll) = &self.on_auto_scroll {
|
|
|
|
|
shell.publish(on_auto_scroll(auto_scroll));
|
|
|
|
|
}
|
2023-11-10 11:20:55 -07:00
|
|
|
}
|
2024-05-30 15:36:53 -06:00
|
|
|
Dragging::ScrollbarV {
|
2023-11-10 11:20:55 -07:00
|
|
|
start_y,
|
|
|
|
|
start_scroll,
|
|
|
|
|
} => {
|
2023-12-19 12:07:45 -07:00
|
|
|
editor.with_buffer_mut(|buffer| {
|
2024-05-30 15:09:57 -06:00
|
|
|
let mut scroll = buffer.scroll();
|
2024-06-12 09:45:12 -06:00
|
|
|
//TODO: if buffer size is undefined, what should this do?
|
|
|
|
|
let scroll_offset = (((y - start_y)
|
|
|
|
|
/ buffer.size().1.unwrap_or(1.0))
|
2023-12-19 12:07:45 -07:00
|
|
|
* buffer.lines.len() as f32)
|
|
|
|
|
as i32;
|
2024-05-30 15:09:57 -06:00
|
|
|
scroll.line = (start_scroll.line as i32 + scroll_offset)
|
|
|
|
|
.try_into()
|
|
|
|
|
.unwrap_or_default();
|
|
|
|
|
buffer.set_scroll(scroll);
|
2023-12-19 12:07:45 -07:00
|
|
|
});
|
2023-11-10 11:20:55 -07:00
|
|
|
}
|
2024-05-31 08:29:30 -06:00
|
|
|
Dragging::ScrollbarH { start_x } => {
|
2024-05-31 08:14:36 -06:00
|
|
|
editor.with_buffer_mut(|buffer| {
|
|
|
|
|
//TODO: store this in state?
|
|
|
|
|
let mut max_line_width = 0.0;
|
|
|
|
|
for run in buffer.layout_runs() {
|
|
|
|
|
if run.line_w > max_line_width {
|
|
|
|
|
max_line_width = run.line_w;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2024-06-12 09:45:12 -06:00
|
|
|
let buffer_w = buffer.size().0.unwrap_or(0.0);
|
2024-05-31 08:14:36 -06:00
|
|
|
let mut scroll = buffer.scroll();
|
|
|
|
|
scroll.horizontal = (((x - start_x) / buffer_w)
|
|
|
|
|
* max_line_width)
|
|
|
|
|
.max(0.0)
|
|
|
|
|
.min(max_line_width - buffer_w);
|
|
|
|
|
buffer.set_scroll(scroll);
|
|
|
|
|
});
|
2024-05-30 15:36:53 -06:00
|
|
|
}
|
2023-11-10 11:20:55 -07:00
|
|
|
}
|
2023-08-18 09:39:37 -06:00
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
status = Status::Captured;
|
|
|
|
|
}
|
|
|
|
|
}
|
2023-11-13 10:32:43 -07:00
|
|
|
Event::Mouse(MouseEvent::WheelScrolled { delta }) => {
|
|
|
|
|
if let Some(_p) = cursor_position.position_in(layout.bounds()) {
|
2025-09-07 19:45:52 -06:00
|
|
|
let pixels = match delta {
|
2023-12-25 13:06:02 -05:00
|
|
|
ScrollDelta::Lines { x: _, y } => {
|
2023-11-13 10:32:43 -07:00
|
|
|
//TODO: this adjustment is just a guess!
|
2023-12-19 12:07:45 -07:00
|
|
|
let metrics = editor.with_buffer(|buffer| buffer.metrics());
|
2025-09-07 19:45:52 -06:00
|
|
|
-y * metrics.line_height
|
2023-11-13 10:32:43 -07:00
|
|
|
}
|
2025-09-07 19:57:47 -06:00
|
|
|
ScrollDelta::Pixels { x: _, y } => -y,
|
|
|
|
|
} * 4.0;
|
2025-09-07 19:45:52 -06:00
|
|
|
editor.action(Action::Scroll { pixels });
|
|
|
|
|
status = Status::Captured;
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
2023-11-13 10:32:43 -07:00
|
|
|
}
|
2023-02-07 13:00:49 -07:00
|
|
|
_ => (),
|
|
|
|
|
}
|
|
|
|
|
|
2024-10-22 11:55:58 -06:00
|
|
|
if let Some(on_changed) = &self.on_changed {
|
|
|
|
|
//TODO: better handling of status line update
|
|
|
|
|
let parser = editor.parser();
|
|
|
|
|
if editor.changed() != last_changed
|
|
|
|
|
|| (&parser.mode, &parser.cmd) != (&last_parser_mode, &last_parser_cmd)
|
|
|
|
|
{
|
2023-11-13 14:47:17 -07:00
|
|
|
shell.publish(on_changed.clone());
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
status
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2024-02-05 16:18:36 -05:00
|
|
|
impl<'a, Message> From<TextBox<'a, Message>> for Element<'a, Message, cosmic::Theme, Renderer>
|
2023-02-07 13:00:49 -07:00
|
|
|
where
|
2023-11-13 14:47:17 -07:00
|
|
|
Message: Clone + 'a,
|
2023-02-07 13:00:49 -07:00
|
|
|
{
|
2023-11-13 14:47:17 -07:00
|
|
|
fn from(text_box: TextBox<'a, Message>) -> Self {
|
2023-02-07 13:00:49 -07:00
|
|
|
Self::new(text_box)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2023-12-12 10:30:23 -07:00
|
|
|
enum ClickKind {
|
|
|
|
|
Single,
|
|
|
|
|
Double,
|
|
|
|
|
Triple,
|
|
|
|
|
}
|
|
|
|
|
|
2023-11-10 11:20:55 -07:00
|
|
|
enum Dragging {
|
|
|
|
|
Buffer,
|
2024-05-30 15:36:53 -06:00
|
|
|
ScrollbarV { start_y: f32, start_scroll: Scroll },
|
2024-05-31 08:29:30 -06:00
|
|
|
ScrollbarH { start_x: f32 },
|
2023-11-10 11:20:55 -07:00
|
|
|
}
|
|
|
|
|
|
2023-02-07 13:00:49 -07:00
|
|
|
pub struct State {
|
2023-11-01 09:43:39 -06:00
|
|
|
modifiers: Modifiers,
|
2023-12-12 10:30:23 -07:00
|
|
|
click: Option<(ClickKind, Instant)>,
|
2023-11-10 11:20:55 -07:00
|
|
|
dragging: Option<Dragging>,
|
2023-11-30 14:44:14 -07:00
|
|
|
editor_offset_x: Cell<i32>,
|
2024-01-09 12:40:29 -07:00
|
|
|
is_focused: bool,
|
2023-11-10 11:20:55 -07:00
|
|
|
scale_factor: Cell<f32>,
|
2024-05-30 15:36:53 -06:00
|
|
|
scrollbar_v_rect: Cell<Rectangle<f32>>,
|
|
|
|
|
scrollbar_h_rect: Cell<Option<Rectangle<f32>>>,
|
2023-11-21 09:37:03 -07:00
|
|
|
handle_opt: Mutex<Option<image::Handle>>,
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl State {
|
|
|
|
|
/// Creates a new [`State`].
|
|
|
|
|
pub fn new() -> State {
|
|
|
|
|
State {
|
2023-11-01 09:43:39 -06:00
|
|
|
modifiers: Modifiers::empty(),
|
2023-12-12 10:30:23 -07:00
|
|
|
click: None,
|
2023-11-10 11:20:55 -07:00
|
|
|
dragging: None,
|
2023-11-30 14:44:14 -07:00
|
|
|
editor_offset_x: Cell::new(0),
|
2024-01-09 12:40:29 -07:00
|
|
|
is_focused: false,
|
2023-10-31 20:41:52 -06:00
|
|
|
scale_factor: Cell::new(1.0),
|
2024-05-30 15:36:53 -06:00
|
|
|
scrollbar_v_rect: Cell::new(Rectangle::default()),
|
|
|
|
|
scrollbar_h_rect: Cell::new(None),
|
2023-11-21 09:37:03 -07:00
|
|
|
handle_opt: Mutex::new(None),
|
2023-02-07 13:00:49 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2024-01-09 12:40:29 -07:00
|
|
|
|
|
|
|
|
impl operation::Focusable for State {
|
|
|
|
|
fn is_focused(&self) -> bool {
|
|
|
|
|
self.is_focused
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn focus(&mut self) {
|
|
|
|
|
self.is_focused = true;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn unfocus(&mut self) {
|
|
|
|
|
self.is_focused = false;
|
|
|
|
|
}
|
|
|
|
|
}
|