djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Turn off the cursor preview when hovering a TextEdit

Browse source
This commit is contained in:
Emil Ernerfeldt 2021-02-28 17:27:39 +01:00
parent d3fd51d6a4
commit 834078a476
2 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
egui/src/style.rs
View file

@ -173,6 +173,8 @@ pub struct Visuals {
pub resize_corner_size: f32, pub resize_corner_size: f32,
pub text_cursor_width: f32, pub text_cursor_width: f32,
/// show where the text cursor would be if you clicked
pub text_cursor_preview: bool,
/// Allow child widgets to be just on the border and still have a stroke with some thickness /// Allow child widgets to be just on the border and still have a stroke with some thickness
pub clip_rect_margin: f32, pub clip_rect_margin: f32,
@ -336,6 +338,7 @@ impl Visuals {
window_shadow: Shadow::big_dark(), window_shadow: Shadow::big_dark(),
resize_corner_size: 12.0, resize_corner_size: 12.0,
text_cursor_width: 2.0, text_cursor_width: 2.0,
text_cursor_preview: false,
clip_rect_margin: 3.0, // should be at least half the size of the widest frame stroke + max WidgetVisuals::expansion clip_rect_margin: 3.0, // should be at least half the size of the widest frame stroke + max WidgetVisuals::expansion
debug_expand_width: false, debug_expand_width: false,
debug_expand_height: false, debug_expand_height: false,
@ -647,6 +650,7 @@ impl Visuals {
window_shadow, window_shadow,
resize_corner_size, resize_corner_size,
text_cursor_width, text_cursor_width,
text_cursor_preview,
clip_rect_margin, clip_rect_margin,
debug_expand_width, debug_expand_width,
debug_expand_height, debug_expand_height,
@ -675,6 +679,7 @@ impl Visuals {
ui_color(ui, code_bg_color, "code_bg_color"); ui_color(ui, code_bg_color, "code_bg_color");
ui.add(Slider::f32(resize_corner_size, 0.0..=20.0).text("resize_corner_size")); ui.add(Slider::f32(resize_corner_size, 0.0..=20.0).text("resize_corner_size"));
ui.add(Slider::f32(text_cursor_width, 0.0..=2.0).text("text_cursor_width")); ui.add(Slider::f32(text_cursor_width, 0.0..=2.0).text("text_cursor_width"));
ui.checkbox(text_cursor_preview, "text_cursor_preview");
ui.add(Slider::f32(clip_rect_margin, 0.0..=20.0).text("clip_rect_margin")); ui.add(Slider::f32(clip_rect_margin, 0.0..=20.0).text("clip_rect_margin"));
ui.group(|ui| { ui.group(|ui| {

5
egui/src/widgets/text_edit.rs
View file

@ -333,7 +333,10 @@ impl<'t> TextEdit<'t> {
let cursor_at_pointer = galley.cursor_from_pos(pointer_pos - response.rect.min); let cursor_at_pointer = galley.cursor_from_pos(pointer_pos - response.rect.min);
if response.hovered() && ui.input().pointer.is_moving() { if ui.visuals().text_cursor_preview
&& response.hovered()
&& ui.input().pointer.is_moving()
{
// preview: // preview:
paint_cursor_end(ui, response.rect.min, &galley, &cursor_at_pointer); paint_cursor_end(ui, response.rect.min, &galley, &cursor_at_pointer);
} }