mirror of
https://github.com/storytold/pdfcraft.git
synced 2026-11-10 02:11:07 -06:00
This commit is contained in:
@@ -3704,8 +3704,8 @@ milestone = "M5"
|
||||
status = "shipped"
|
||||
commands = ["comment.eraser"]
|
||||
tools = []
|
||||
evidence = ["crates/annot/src/tests.rs::the_eraser_cuts_strokes_and_removes_empty_drawings", "crates/ui-egui/tests/comments.rs::erasing_part_of_a_drawing"]
|
||||
notes = "cuts strokes where the eraser passes; an emptied drawing is deleted; one undo step"
|
||||
evidence = ["crates/annot/src/tests.rs::the_eraser_cuts_strokes_and_removes_empty_drawings", "crates/ui-egui/tests/comments.rs::erasing_part_of_a_drawing", "crates/ui-egui/tests/comments.rs::the_eraser_rubs_as_wide_as_its_thickness_setting"]
|
||||
notes = "cuts strokes where the eraser passes; an emptied drawing is deleted; one undo step. Its thickness setting sizes it on screen (3 to 72 pixels across; the default 2 pt is 12), preview included (#3747)"
|
||||
|
||||
[[feature]]
|
||||
id = "comment.line"
|
||||
|
||||
Reference in New Issue
Block a user