Skip to content

Preserve cursor and selection when reopening editors#9557

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom OmarSdt-EC:os/feature_preserveCursorPRJun 14, 2021
+9-3

Commits

Commits on Jun 14, 2021