reduce gutter timeout

This commit is contained in:
yggverse 2025-02-04 22:58:08 +02:00
parent 537ee92fb7
commit 971af2e39f

View file

@ -45,7 +45,7 @@ impl Gutter {
Some(uri) => {
if !self.label.is_visible() {
if !self.is_active.replace(true) {
timeout_add_local_once(Duration::from_millis(500), {
timeout_add_local_once(Duration::from_millis(250), {
let label = self.label.clone();
let is_active = self.is_active.clone();
let uri = uri.clone();