Add a pointer hover marker line to the rulers (#4088)

* Add a pointer hover marker line to the rulers * Fix rulers and pointer marker when document is flipped * Reduce duplicate code * Fix ruler label placement * Performance
2026-09-22 08:38:12 +08:00 · 2026-05-01 15:18:01 -07:00
parent 29f6e686ee
commit 0acfd3e178
4 changed files with 75 additions and 25 deletions
@@ -245,6 +245,7 @@ pub enum FrontendMessage {
 		interval: f64,
 		visible: bool,
 		tilt: f64,
+		flip: bool,
 	},
 	UpdateDocumentScrollbars {
 		position: (f64, f64),