create separate timer for redraw requests#8023

Merged

archseer merged 2 commits intomasterfrom

fix_idle_timeout

Aug 21, 2023

Commits on Aug 20, 2023

create separate timer for redraw requests
pascalkuthe
committed

Commits on Aug 21, 2023

Update helix-view/src/editor.rs

pascalkuthe
and
the-mikedavis
authored