This repository was archived by the owner on Jul 25, 2022. It is now read-only.

Description
ide-scala version: 0.9.0
metals version: 0.5.2
scala versions: 2.11.12, 2.12.8
operating systems: OSX, Windows
Steps to reproduce
- open a metals project
- create file
src/main/scala/Foo.scala
- type
class Foo {
java.time.Loc
}
- a popup has automatically appeared by now suggesting
LocalDate, LocalTime, LocalDateTime, Clock.
- select
LocalDateTime with arrows keys and accept
- text changes to
class Foo {
java.time.LocLocalDateTime
}
If you now undo and retry the completion the Loc prefix gets deleted. If you select the completion with the cursor the Loc prefix gets deleted. If in the above scenario you select Clock the Loc prefix gets deleted.