From 81ef0f1a2aaca69117af8c1bca729881ccac89e6 Mon Sep 17 00:00:00 2001 From: Dave Patrick Caberto Date: Tue, 13 Feb 2024 19:01:49 +0800 Subject: [PATCH] style: use better line spacing --- src/area_selector/view_port.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/area_selector/view_port.rs b/src/area_selector/view_port.rs index 14a33504..fb379ecd 100644 --- a/src/area_selector/view_port.rs +++ b/src/area_selector/view_port.rs @@ -22,11 +22,14 @@ use std::{ // * Add minimum selection size. const SIZE: f64 = 100.0; + const DEFAULT_SELECTION_SIZE: f32 = 40.0; + const SHADE_COLOR: gdk::RGBA = gdk::RGBA::BLACK.with_alpha(0.5); const SELECTION_LINE_WIDTH: f32 = 2.0; const SELECTION_LINE_COLOR: gdk::RGBA = gdk::RGBA::WHITE.with_alpha(0.6); + const SELECTION_HANDLE_COLOR: gdk::RGBA = gdk::RGBA::WHITE; const SELECTION_HANDLE_SHADOW_COLOR: gdk::RGBA = gdk::RGBA::BLACK.with_alpha(0.2); const SELECTION_HANDLE_RADIUS: f32 = 12.0;